Improper integral Convergence theorem

[estro]

Homework Statement

f(x) is a continuous and positive function when $$x\in[0,\infty)$$. (#1)

$$x_n$$ is a monotonic increasing sequence, $$x_0=0$$ $$,x_n \rightarrow \infty$$. (#2)

Prove or contradict:

$$\mbox{If } \sum_{n=0}^\infty \int_{x_n}^{x_(n+1)} f(x)dx \mbox{ is convergent (#3) then } \int_{0}^\infty f(x)dx \mbox{ is also convergent.}$$3. The attempt

$$(*3)\ and\ by\ the\ Cauchy\ Criterion\ \Longrightarrow\ \forall\ \epsilon>0\ \exists\ N_1>0,\ so\ \forall\ m>k>N_1$$

$$\left \int_{x_(k+1)}^{x_(m+1)} f(x)dx=(*1)=| \sum_{n=0}^\infty \int_{x_n}^{x_(n+1)} f(x)dx|<\epsilon\mbox{ (*4)} \right$$$$(*2)\ \Longrightarrow\ \forall\ N_1>0\ \exists\ N>0\ so\ \forall\ n>N_1,\ x_n>N\ \ \ \ (*5) }$$

$$(*4)\ and\ (*5)\ \Longrightarrow\ \forall\ m>k>N\ \int_{x_(k+1)}^{x_(m+1)} f(x)dx<\epsilon\\\Longrightarrow\ Cauchy\ Criterion\ \int_{0}^\infty f(x)dx\ is\ convergent.$$

It seems right to me, but I'm not sure...
I think i also have vice versa proof.

 

[lanedance]

how about this as a counter example...

let
$$f(x) = cos(2 \pi x)$$
$$x_n = n \in \mathds{N}$$

Then
$$\int_{x_n}^{x_{n+1}} f(x)dx = \int_{x_n}^{x_{n+1}} cos(x)dx = 0$$

But
$$\int_{0}^{x}cos(2 \pi x)dx = -\frac{1}{\pi} sin(x)$$

though i guess it likely changes if it is true for any series...

 

[estro]

But f(x) supposed to be positive and continuous when $$x \in [0,\infty)$$

I'm actually taking about integral inside a series

And if I am wrong where is my blunder in the proof?

 

[lanedance]

ok good point, missed the positive - must be too late ;)

 

[estro]

This things happens sometimes, take another glance at my proof =)
Thank you!

 

[Dick]

Put an upper bound of N on the sum on the left side instead of infinity. Then you know the left side approaches a limit L as N->infinity. Put a definite upper bound of M on the right side integral. Then you want to show the integral also approaches L as M->infinity. You know for any integer N the sum is equal to the integral with an upper limit of x_N+1. So define F(M)=integral from 0 to M of f(x). You know lim F(x_n)->L as n->infinity. You just want to show F(M)->L as M->infinity. I.e. you just have to worry about the points M that are in between the x_i.

 

[estro]

I wasn't able to fully understand all the points.
(The limit idea)

---------------------------------------------

Homework Statement

f(x) is a continuous and positive function when $$x\in[0,\infty)$$. (*1)

$$x_n$$ is a monotonic increasing sequence, $$x_0=0$$ $$,x_n \rightarrow \infty$$. (*2)

Prove or contradict:

$$\mbox{If } \sum_{n=0}^\infty \int_{x_n}^{x_(n+1)} f(x)dx \mbox{ is convergent (*3) then } \int_{0}^\infty f(x)dx \mbox{ is also convergent.}$$
-------------------------------------------------------------

$$From\ (*3)\ \Rightarrow\ \forall\ \epsilon\ > 0\ \exists\ N_1>0\ so\ \forall\ m>k>N_1$$

$$|\sum_{n=k+1}^{m} \int_{x_n}^{x_{n+1}} f(x)dx|=|\int_{x_{k+1}}^{x_{m+1}} f(x)dx|<\epsilon\ \ \ \ \ (*4)$$

$$From\ (*2)\ \Rightarrow\ \exists\ N_1>0\ so\ \forall\ n>N\ x_n>N\ \ \ \ \ (*5)$$

$$From\ (*4)\ and\ (*5)\ \Rightarrow\ \forall\ \epsilon>0\ and\ \forall\ s>t>N$$

$$|\int_{t}^{s}f(x)dx|<\epsilon$$

$$So\ by\ the\ Cauchy\ Criterion\ \int_{N}^\infty f(x)dx\ is\ convergent\ \ \ \ \ (*6)$$

$$From\ (*1)\ and\ (*6)\ \int_{0}^{\infty} f(x)dx\ is\ convergent$$

 

[Dick]

I wasn't able to fully understand all the points.
(The limit idea)

---------------------------------------------

Homework Statement

f(x) is a continuous and positive function when $$x\in[0,\infty)$$. (*1)

$$x_n$$ is a monotonic increasing sequence, $$x_0=0$$ $$,x_n \rightarrow \infty$$. (*2)

Prove or contradict:

$$\mbox{If } \sum_{n=0}^\infty \int_{x_n}^{x_(n+1)} f(x)dx \mbox{ is convergent (*3) then } \int_{0}^\infty f(x)dx \mbox{ is also convergent.}$$
-------------------------------------------------------------

$$From\ (*3)\ \Rightarrow\ \forall\ \epsilon\ > 0\ \exists\ N_1>0\ so\ \forall\ m>k>N_1$$

$$|\sum_{n=(k+1)}^{m} \int_{x_n}^{x_{n+1}} f(x)dx|=|\int_{x_{k+1}}^{x_{m+1}} f(x)dx|<\epsilon\ \ \ \ \ (*4)$$

$$From\ (*2)\ \Rightarrow\ \exists\ N_1>0\ so\ \forall\ n>N\ x_n>N\ \ \ \ \ (*5)$$

$$From\ (*4)\ and\ (*5)\ \Rightarrow\ \forall\ \epsilon>0\ and\ \forall\ s>t>N$$

$$|\int_{t}^{s}f(x)dx|<\epsilon$$

$$So\ by\ the\ Cauchy\ Criterion\ \int_{N}^\infty f(x)dx\ is\ convergent\ \ \ \ \ (*6)$$

$$From\ (*1)\ and\ (*6)\ \int_{0}^{\infty} f(x)dx\ is\ convergent$$

Did you understand any of the points? You 'proof' completely misses the point. Where did you use that f(x) is positive? You need to use that. Otherwise lanedance's example shows it's false.

 

[estro]

$$From\ (*3)\ and\ (*2)\ and\ (*1)\ \forall\ m:\ \ \ \ \ 0\leq S_m=\int_{0}^{m} f(x)dx\ \leq L$$

I understand now why my proof is wrong and all your points, thank you!