Integrals are limits of sums and as such they inherit most of their
properties. For example if you multiply each term of a
sum of terms by a number (the number 2 say) then the result of the
sum is the same as if we multiply the original sum by 2. This is true
for sums of a finite number of terms but it is still true for limits
of these sums (when the limit exists) since the limits also have the
property that
the limit of a product is the product of the limits.
Using familiar properties of sums and limits it is not difficult
to show that integrals satisfy:
|
Linearity
The integral of a linear combination of functions is the linear combination of the integrals of these functions. |
> #
/ / | | | | a f(x, y) + b g(x, y) dx dy = | | / / D / / / / | | | | a | | f(x, y) dx dy + b | | g(x, y) dx dy | | | | / / / / D D
|
Example
> #
2 1 / / | | 2 | | 2 x y - 3 y dx dy = -16 | | / / 0 -1
and this is clearly equal to: |
> #
2 1 2 1 / / / / | | | | 2 2 | | x y dx dy - 3 | | y dx dy = 2(0) - 3(16/3) | | | | / / / / 0 -1 0 -1
|
Monotonicity
When, f(x,y) > g(x,y) for all the (x,y) in D then |
> #
/ / / / | | | | | | g dA < | | f dA | | | | / / / /
|
Example
On the unit square R=[0,1]x[0,1] we have,
|
> Int(Int(2*x*y,x=0..1),y=0..1) < Int(Int((x+y+1)^2,x=0..1),y=0..1);
1 1 1 1 / / / / | | | | 2 | | 2 x y dx dy < | | (x + y + 1) dx dy | | | | / / / / 0 0 0 0> #
1/2 < 25/6
|
Area
Area of bounded regions D, denoted here by A(D) can be computed by just integrating the constant function 1 over D. |
> #
/ / | | A(D) = | | 1 dA | | / / D
|
Example
The area of a circle of radius a is given by, |
> Int(Int(1,y=-sqrt(a^2-x^2)..sqrt(a^2-x^2)),x=-a..a) =
> int(int(1,y=-sqrt(a^2-x^2)..sqrt(a^2-x^2)),x=-a..a);
2 2 1/2 a (a - x ) / / | | 2 | | 1 dy dx = a Pi | | / / - a 2 2 1/2 - (a - x )
|
Bounds
From the previous three properties it follows that, if |
> #
/ / | | m A(D) < | | f dA < M A(D) | | / / D
|
Example
Over the rectangle R=[0,1]x[-1,2] |
> #
2 2 0 < x + y < 4
hence, |
> #
2 1 / / | | 2 2 0 < | | x + y dx dy = 4 < 4 (1-0)(2+1) = 12 | | / / -1 0
|
Additivity over D
If we split the domain of integration D into two pieces, D1 and D2 then, |
> #
/ / / / / / | | | | | | | | f dA = | | f dA + | | g dA | | | | | | / / / / / / D = D1 U D2 D1 D2