Understanding Double Integration in Vector Analysis

[Alan Tua]

alo, i ve done single variable integration at school but i m trying to understand some vector analysis and going through books like Schey's Div, Grad Curl and all that as well as Schaum s vector analysis and to be able to understand i need to know exactly what a double integral is...i ve searched online and i can see you kind of integrate twice wrt the diff variables but if anybody could elaborate i d appreciate it, also can you have a double integral without limits?


thanks in advance and sorry for the hassle

alan

 

[Galileo]

Recall that the definite integral of f (where f is a function of a single variable) from a to b is defined as:

\int_a^bf(x)dx=\lim_{n \to \infty}\sum_{i=1}^nf(x_i^*)\Delta x
where \Delta x = (b-a)/n.
(Usually this is arrived at by dividing the interval in subintervals etc)

For a function of two variables, you can graph it as a surface. Now suppose f is a function of two variables defined on a closed rectangle
R=[a,b] \times [c,d]
You can apply the same sort of ritual as for the one variable case. Split the domain in small rectangles and choose a sample point (x_{ij}^*,y_{ij}^*) inside every rectangle.
Then form the sum:
\sum_{i=1}^m\sum_{j=1}^n f(x_{ij}^*,y_{ij}^*)\Delta A
where \Delta A = \Delta x \Delta y.
If f(x,y)\geq 0 on and inside R, you can interpret this as an approx. to the volume under the surface.
The definite integral of f over R is defined as:
\int \int \limits_R f(x,y)dA=\lim_{m,n \to \infty} \sum_{i=1}^m\sum_{j=1}^nf(x_{ij}^*,y_{ij}^*)\Delta A
if this limit exists.

In evaluating these integrals, use is made of a special case of Fubini's theorem:
If f is bounded on the rectangle R=[a,b] \times [c,d] and discontinuous only on a finite number of smooth curves, then:
\int \int \limits_R f(x,y)dA=\int_a^b\int_c^df(x,y)dydx=\int_c^d\int_a^bf(x,y)dxdy
if the iterated integrals exist.

You can see it as this. If you integrate wrt y first, then you have a function of x left. This can be viewed as the area of a cross-section of the desired volume in the plane through x, perendicular to the x-axis. Integrating this wrt y gives the volume under the curve.

 

[rachmaninoff]

In my text, "Multivariable Calculus" by Larson Hostetler, and Edwards (possibly the best intro. to vector analysis yet), the definition of a double integral is

If f is defined on a closed, bounded region R in the xy-plane*, then the double integral of f over R is given by

\int_R\int f(x,y)dA = lim_{|\Delta|\rightarrow0} \sum_{i=1}^{n}f(x_i,y_i)\Delta x_i \Delta y_i

provided the limit exists.

*[my annote: more formally, f:\mathbb{R}^2\rightarrow\mathbb{R}]

That is the two-variable analogue of the single-variable Reimann sum. Basically, your can think of it as adding volumes over a grid of infinitisemal squares (parallel to the single-variable case, areas over infinitesemal 1d intervals).

Here is a basic example of such an integral and how it is used:

A={(x,y)|0\leq x \leq 1, 0\leq y \leq 3} (rectangle with vertices (0,0) and (1,3))
\int_{A}\int x^2 + 5y\ dx\ dy = \int_0^3\int_0^1 x^2 + 5y\ dx\ dy
=\int_0^3(\int_0^1 x^2 + 5y\ dx) dy
Key thing here is any in integrating with respect to x, any other variable (y) is effectively a constant:
=\int_0^3(\frac{x^3}{3}+5xy)|_0^1 dy
=\int_0^3(\frac{1}{3}+5y)\ dy
=(\frac{1}{3}y+\frac{5}{2}y^2)|_0^3
=1+\frac{45}{2}=23.5

And the indefinite integral would work similarly:

\int\int x^2 + 5y\ dx\ dy = \int(\int x^2 + 5y\ dx) dy
= \int (\frac{x^3}{3} + 5xy)\ dy
= \frac{1}{3}x^3y + \frac{5}{2}xy^2
(this particular integral is valid over all of \mathbb{R}^2

Again, any variable not being integrated works like a constant.

Note that the order of integration, whether you integrate with respect to y and then x, or x and then y, is 'arbitrary', and when both integrals are defined they give the same answer.

The definite integral I showed you was easy, because the area of integration (parallel to 'interval of integration') was a rectangle. Often the area of integration doesn't have straight sides, it can be a triangle or a circular arc or a cycloid:

\int_0^3 \int_0^{1-y} f(x) dx dy

This definite integral is over a triangle; the inner integrand integrates over x from '0' to '1-y'. A picture would help here...

In tricky cases like circles you can substitue variables, for instance \theta and r for x and y. (this I found was quite hard)

Triple integration is parallel, and you can actually define it inductively from the double integral.

Let me plug my 3rd semester calc. book here, 'multivariable calculus' by Larson, Hostetler and Edwards - it's really clear and has tons of awesome graphics generated by Mathematica.

 

[rachmaninoff]

Well, Galileo beat me to it!

 

[Alan Tua]

thanks a lot guys, much appreciated...i think i got enough of the general picture to have an idea of what is happening...i ll try playing around with some easy ones...i ll try get my hands on the pictures from the "multivariable calculus" even just to get some mental images hehe

thanks again

alan