Take the 2-minute tour ×
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.

I know that an integral from $0$ to $x$ of a function of $x$ is itself a function, so I want to know if is there any condition of it to be discontinuous.

I haven't restrict $f(x)$ to be continuous or not, so I think that one needs to take both options. So if the integrand is continuous then the integral is too.

share|improve this question
1  
Here is a (fake!) example. –  J. M. Aug 14 '12 at 12:52

3 Answers 3

up vote 3 down vote accepted

No, at least not with the usual calculus notion of integral (with Lebesgue measure in the background) and $f$ being bounded. Let $(x_n)$ be a nonnegative sequence converging to $x$ and $f$ be a bounded function such that the integral $I_x=\int_0^xf(y)~dy$ is finite and well defined for all $x\geq 0$.

Suppose $I_{x_n}$ does not converge to $I_x$. Then there is an $\epsilon>0$ such that for all $\delta>0$, there is $x'$ such that $|I_x-I_{x'}|>\epsilon$ and $|x-x'|<\delta$. Let $B>0$ be such that $-B< f(x)<B$ for all $x\geq 0$. Then the integral $$\bigg|\int_{x-\delta}^{x+\delta}f(y)~dx\bigg|\leq 2\delta B$$ for all $\delta>0$. In particular for, $\delta<\epsilon/(B2)$, the integral can not vary that much and we get a contradiction.

A continuous function on a closed and bounded interval is of course already bounded.

share|improve this answer
1  
In fact boundedness is not necessary either; if $f$ is Lebesgue integrable on $[0,b]$ then we can use dominated convergence to show $\int_0^x f$ is continuous on $[0,b]$. –  Nate Eldredge Aug 14 '12 at 13:03

If the integrated function is continuous then the integral will be continuous.

This paper of Jeffrey 'The importance of being continuous' is a good reading about this.

If the integrated function is not continuous and not bounded (for example $\int \dfrac {dx}{x^2}$) then the integral may not be continuous (see Jeffreys' paper too for a discussion about this).

You may too integrate 'distributions' (not 'real' functions !) like $s\;\delta(x-x_0)$ these will create a jump of height $s$ at $x=x_0$.

share|improve this answer

Let $f$ be a function and denote $F(x)=\int_0^xf(t)\,dt$. For $F$ to be well defined, $f$ must be integrable (e.g. in the Riemann sense). It is a fact that in this case $F$ is always continuous. Here is a proof:

Since $f$ is integrable, it is bounded: $m\leq f(x)\leq M$ for some $m,M$ and all $x$ in a suitable region. Then, taking $\varepsilon>0$ and assuming $|x-y|<\frac{\varepsilon}{\max\{|m|,|M|\}}$, we have $$|F(x)-F(y)|=\left|\int_0^xf(t)\,dt-\int_0^yf(t)\,dt\right|=\left|\int_y^xf(t)\,dt\right| \leq \max\{|m|,|M|\}|x-y|\leq \varepsilon $$ This shows that $F$ is continuous.

share|improve this answer
    
A function integrable on $[0,x]$ for all $x$ is not necessarily bounded: see for example $\frac{1}{\sqrt{x}}$. –  Najib Idrissi Aug 14 '12 at 13:08
    
I was talking about Riemann integrable functions in the regular sense, i.e. the Riemann sums converge. Your function is integrable in the generalized sense. –  Miha Habič Aug 14 '12 at 13:12

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.