Tell me more ×
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.

Let $f: [a,b] \to \mathbb R$. If $f$ is (Riemann-)integrable on $[a,b]$, then define $F: [a,b] \to \mathbb R$ by $$F(x) = \int_a^x f.$$

We have the following:

$$\begin{array}{ccccccc} f \text{ differentiable} & \implies & f \text{ continuous} & \implies & f \text{ integrable} & \implies & ?_1 \\ \Big\Downarrow & & \Big\Downarrow & & \Big\Downarrow & & \Big\Downarrow \\ ?_2 & \implies & F \text{ differentiable} & \implies & F \text{ continuous} & \implies & F \text{ integrable} \end{array}$$

Of course, we can define $$\mathcal F(x) = \int_a^x F, \qquad \mathfrak F(x) = \int_a^x \mathcal F, \qquad \text{etc.}$$ for this chain of implications to grow indefinitely.

My questions are

  1. ($?_1$) Is there a property of $f$, strictly weaker than integrability, that guarantees that $F$ is integrable?
  2. ($?_2$) Similar.

Edit: Ignore $?_1$. That was just plain stupidity on my part. If $f$ isn't integrable, then $F$ isn't even defined. Oops.

share|improve this question
2  
I suggest replacing differentiability (which is a not very useful property) with continuous differentiability ($C^1$). Then you get a nice diagram: $f$ continuous implies $F\in C^1$ (and conversely), $f\in C^1$ implies $F\in C^2$ (and conversely), and so on. – user31373 Jun 19 '12 at 1:21
Apropos Leonid's comment, the relevant Wikipedia article: Smooth functions and differentiability classes. – Rahul Narain Jun 19 '12 at 2:37
@LeonidKovalev, I am not familiar with the $C^k$ classes, so I have two questions: 1. Can you please elaborate on what you mean by "and conversely"? Are you saying $f$ continuous iff $F \in C^1$, etc.? 2. By "and so on" do you mean extending the chain diagram "leftwards" indefinitely? – paul Jun 19 '12 at 6:04

2 Answers

up vote 2 down vote accepted

If $f$ is differentiable, then $F$ will be twice differentiable. I don't think you can get anything more than that.

share|improve this answer

To get an $F$ that is not continuous, you would want to integrate not a function, but a measure. That is, if $\mu$ is a (signed) Borel measure, $F(x) = \int_{[a,x]} d\mu(t)$ is a right-continuous function of bounded variation (and in particular is Riemann integrable on bounded intervals).

share|improve this answer

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.