# Intuition of improper integrals of type II

1. Sep 15, 2012

### Bipolarity

Let's say you have a function that is continuous in (a,b] but discontinuous at x=a and you integrate it from a to b.

For example, $\int^{1}_{0} \frac{1}{\sqrt{x}}dx$

I understand that the integral exists, and it can be easily computed by using the limit as x approaches 0 from the positive side.

What bothers me is the intuition of the problem. If we divide the area up into infinite rectangles, it seems that some of the rectangles approaching the lower limit are of infinite length, so that their area must also be infinite? I can't fathom how you can add up these rectangles that approach lengths of infinity.

BiP

2. Sep 15, 2012

### Stephen Tashi

A clearer view is that some of the rectangles approaching the lower limit "have heights that are approaching infinite length", not that they "are" of infinite length.

What's your intuition about $\lim_{x \rightarrow a} f(x) g(x)$ when $\lim_{x \rightarrow a} f(x) = \infty$ ? Do you think a $g(x)$ can get small "fast enough" to make the product $f(x)g(x)$ stay finite?

3. Sep 15, 2012

### Bipolarity

Why not?

BiP

4. Sep 15, 2012

### dumbQuestion

Just a side note, but in the example you gave above, can we really say the function is discontinuous at x=0? In this case x=0 is simply not part of the domain. It's my understanding that we can only really think of continuity of a function in terms of regions it's defined upon. Perhaps this has something to do with the answer?

5. Sep 15, 2012

### Stephen Tashi

Why not what? If you think $g(x)$ can decrease quickly enough so that $\lim_{x \rightarrow a} f(x) g(x)$ is finite, then what problem do you have beleiveing that the bases of rectangles can decrease "fast enough" so that the areas of the rectangles remains finite even though the height approaches infinity?

As to the definition of continuity, the usual definition is "A real valued function $f(x)$ whose domain is a subset of the real numbers is continuous at $x = a$ if and only if $\lim_{x \rightarrow a} f(x) = f(a)$". Hence the definition requires that $f(a)$ exists. Hence if $f(x)$ does not exist at $x = a$ then $f(x)$ is not continuous at $x = a$.