Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

Let $\sigma: [ 0,\infty) \rightarrow [0,\infty]$ be a Borel-measurable, nonnegative, extended-real valued function, when is the Lebesgue integral $\int_{0}^{t}\sigma(u) du$ a continuous function of t? Thanks!

share|cite|improve this question
Note that any antiderivative of a locally integrable function is not merely continuous, but also absolutely continuous. – Sangchul Lee Jul 28 '12 at 17:34
Do we know something else, like $\sigma\in L^1_{loc}[0,\infty)$ or something? – Matt Jul 28 '12 at 17:40
If $\sigma$ is locally integrable, then the function is in fact differentiable a.e. (ie, the Lebesgue points). – copper.hat Jul 28 '12 at 17:42
Notice that $\sigma$ is nondecreasing, which implies that the set $\{t: \sigma(t)<\infty \}$ is an interval. In this interval (possibly empty) you have local integrability, hence local absolute continuity of the antiderivative. Outside of it, the antiderivative is $\equiv \infty$. – user31373 Jul 28 '12 at 19:08
@Leonid: No assumption on the variations of $\sigma$. – Did Jul 28 '12 at 19:43
up vote 2 down vote accepted

Since my answer-comment had a couple of typos and did not cover all bases, I'm posting an actual answer in the answer box (what a novel idea!).

Let $F(t)=\int_0^{t}\sigma(u)\,du$, which is a well-defined function taking values in $[0,\infty]$. Since $\sigma\ge 0$, $F$ is nondecreasing, which implies that the set $I=\{t:F(t)<\infty\}$ is an interval. On this (possibly empty) interval $\sigma$ is locally integrable, and therefore $F$ is locally absolute continuous. Outside of the interval $F\equiv +\infty$.

The question remains: what happens at right endpoint of $I$ when this endpoint is finite? Here a discontinuity may occur, e.g., if $\sigma\equiv \infty$ or $\sigma=\infty \chi_{[1,\infty)}$ or, to give a finite example, $\sigma(u)=(u-1)^{-1}\chi_{(1,\infty)}$. Denoting the right endpoint of $I$ by $b$, we can formulate the criterion for continuity at $b$ (hence on the entire line) as $\int_0^b \sigma(u)\,du=\infty$.

share|cite|improve this answer
Thank you for this answer, it is very clear. – Jean Carr Aug 18 '12 at 0:15

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.