Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

This is motivated by this recent MO question.

Is there a complete characterization of those functions $f:(a,b)\rightarrow\mathbb R$ that are pointwise derivative of some everywhere differentiable function $g:(a,b)\rightarrow\mathbb R$ ?

Of course, continuity is a sufficient condition. Integrability is not, because the integral defines an absolutely continuous function, which needs not be differentiable everywhere. A. Denjoy designed a procedure of reconstruction of $g$, where he used transfinite induction. But I don't know whether he assumed that $f$ is a derivative, or if he had the answer to the above question.

share|improve this question
1  
Since differentiable functions are continuous, to be of Baire class $1$ (a pointwise limit of continuous functions) is certainly necessary. –  Theo Buehler May 30 '11 at 15:28
1  
See this wiki page for some partial results: en.wikipedia.org/wiki/… –  Mark May 30 '11 at 15:30
1  
Another necessary condition is mapping intervals into intervals –  Pietro Majer May 30 '11 at 23:07
1  
@Pietro. I mentionned this point in my answer to the previous MO question; in the form a derivative satisfies the intermediate value property. –  Denis Serre May 31 '11 at 6:40
2  
There is a theorem (of Maximoff?) stating that any Baire 1 function which satisfies the intermediate value property is the composition of a derivative and a homeomorphism (and the converse is obvious). This does not answer your question but I think it's cute (I'm pretty sure I read this somewhere in Kechris's "Classical Descriptive Set Theory", but I don't have it with me) –  Julien Melleray May 31 '11 at 15:34
show 1 more comment

4 Answers

I can't claim much knowledge here, but I am given to understand that the class of differentiable functions (or the class of functions which are derivatives of such) is really quite nasty and complicated. This paper by Kechris and Woodin indicates that there is some very serious descriptive set theory involved: that there is a hierarchy of levels of complication indexed by $\omega_1$ (i.e., the set of countable ordinals). This online article by Kechris and Louveau also looks relevant.

share|improve this answer
    
I suspected something like that. –  Denis Serre May 30 '11 at 15:47
5  
Yeah, that's why nobody ever talks about or works with pointwise differentiable functions. We usually learn about derivatives and differentiability and think about them as being more "elementary" than integration and integrability. But from a theoretical and even computational standpoint, the latter is much easier to work with than the former. –  Deane Yang May 30 '11 at 18:08
add comment

Take a look a this book by Andrew M. Bruckner: Differentiation of real functions.

Chapter seven is about The problem of characterizing derivatives.

There is a review by Daniel Waterman.

You might also want to take a look at Homeomorphisms in Analysis by Goffman, Nishiura and Waterman.

share|improve this answer
1  
Andy has updated his account of this problem in a survey article for the Real Analysis Exchange: Bruckner, Andrew M. The problem of characterizing derivatives revisited. Real Anal. Exchange 21 (1995/96), no. 1, 112--133. Download from our web site here: classicalrealanalysis.info/documents/Bruckner1995.rae.1341343228.pdf –  B S Thomson Dec 28 '12 at 17:58
add comment

Here are a few characterizations of derivatives:

  1. D. Preiss and M. Tartaglia On Characterizing Derivatives Proceedings of the American Mathematical Society, Vol. 123, No. 8 (Aug., 1995), 2417-2420.

  2. Chris Freiling, On the problem of characterizing derivatives, Real Analysis Exchange 23 (1997/98), no. 2, 805-812.

  3. Brian S. Thomson, On Riemann Sums Real Analysis Exchange 37 (2011/12), 1-22. [You can download the PDF file here.]

The problem was first posed by W. H. Young. We include in our article about the Youngs a full quote stating his problem;

Bruckner, Andrew M. and Thomson, Brian S. Real variable contributions of G. C. Young and W. H. Young. Expo. Math. 19 (2001), no. 4, 337–358. [You can download the PDF file here.]

share|improve this answer
1  
Fantastic link! –  Andres Caicedo Dec 27 '12 at 19:35
    
Thanks a lot for these references! –  Denis Serre Dec 28 '12 at 8:14
add comment

A result that is related to your question (the "almost everywhere" is the difference) :

Every Henstock-Kurzweil integrable function on [a,b] is almost everywhere the derivative of a differentiable function, and inversely, any derivative is Henstock-Kurzweil integrable.

More here : http://www.math.vanderbilt.edu/~schectex/ccc/gauge/

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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