Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have a monotone real function $f(x)$ defined on [0,1] with values in [0,1]. The function need not be continuous. I need to make sense of the expression: $$F(a)=\int_0^a f'(x)x dx,$$ in the greater possible generality and in the most elementary way. What is the best way to go about it.

share|cite|improve this question
There's a pretty big divergence between your two goals. The most elementary way involves interpreting $f'$ as the actual derivative of $f$, which requires $f$ to be differentiable (and in particular continuous). But this won't give the greatest possible generality. – Chris Eagle May 5 '12 at 10:45
@GilKalai: Maybe you should interpret the integral as the Riemann-Stieltjes integral $\int_0^ax\mathrm{d}f(x)$? This seems quite general to me. – Dejan Govc May 5 '12 at 18:31
Thanks, Dejan --G. – Gil Kalai May 5 '12 at 21:21
up vote 5 down vote accepted

Let us pretend for a moment that $f$ is regular, then an integration by parts yields $$ F(a)=\left[xf(x)\right]_{0}^a-\int_0^af(x)\mathrm dx=af(a)-\int_0^af(x)\mathrm dx. $$ Since the RHS is meaningful for every monotonic function $f$ (and still others), one can define $F(a)$ by the expression in the RHS for every such function.

share|cite|improve this answer
yes, that's the best way to go about it. Thanks Didier. (Regarding Chris's remarks i would still be interested in the simplest direct interpretation of the integral itself which applies in the full generality.) – Gil Kalai May 5 '12 at 12:18
Thanks, Gil. (Nice blog, by the way... :-)) – Did May 5 '12 at 12:57

Your Answer


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.