]>
Previous topic: Section 1 Differentiation, page 7 Jacobian
Next topic: Page 2 Multiple Integral
As we already know, the Cartesian plane consists of two perpendicular axes, denoted usually by x and y. In the case of one variable, x was used as the independent variable and y as the function. The definite integral of the function y with respect to x in the limits (a,b) was defined as
(3.2.1.1) |
For a functions of two Cartesian variables f(x, y), the integration is defined in a region of the (x, y) plane, considering this way the integral as definite. Any two segments Δx and Δy correspond to a rectangular cell in this plane. The "area" of such a cell has the physical dimensions of the product ΔxΔy. By summing up all the elements,
(3.2.1.2) |
over the cells contained partially or fully in the region, and by doing the double limit of the segments Δx→0 and Δy→0 , we obtain the double integral of the function f in the region:
(3.2.1.3) |
One can restrict the requirement for the cells, to be only fully contained in the region, without affecting the outcome of the integral. Notice that any value the function f within the appropriate cell of (3.2.1.2) will do.
This definition for the simple case of f =1, is illustrated in Fig. Definition of double integral.
We evaluate a double integral, by iteration of two single integrals, first on x and then on y, or in reverse order. Since the evaluation of a single integral is a known procedure, we have only to learn how to define the limits of the iterated integrals. If the first iteration is along x, then the limits of the integral are y dependent, according to the boundary of the region of integration, and therefore the value of the first iteration is a function of y. The second iteration is a regular single integral, with limits of constant values.
This will be clarified for the integration over a convex region. A region is convex, if a straight segment connecting any two points (of the region), lies entirely in the region. For example a full circle is a convex region. But if some part is missing or added to, it may lose its convexity, pending on the shape of this part. This is illustrated in Fig. Convexity of a region.
For a given value of y = yo in a convex region, the connecting segment between the minimal and the maximal x values is included in this region, and one can integrate along x, obtaining
(3.2.1.4) |
where I depends on the value of yo. Since (3.2.1.4) exists for any y value in the region, one can rewrite it in a more general form
(3.2.1.5) |
where the functions and represent the two branches of the region's boundary.
The double integral (3.2.1.3) can be rewritten now as
(3.2.1.6) |
where the function I(y) from (3.2.1.5) was used for the second iteration. The limits of the second integration are the minimal and maximal values of y in the region. In order to summarize:
(3.2.1.7) |
If the first integration would be done with respect to y, the limits are and , representing the two branches of the boundaries of the region, while the second iteration represents an integration with respect to x between the minimal and maximal x values of the region:
(3.2.1.8) |
In both cases, (3.2.1.7) and (3.2.1.8), first one has to evaluate the inner-most integral. Only in the simplest case of a straight rectangular region
(3.2.1.9) |
the limits of both integrations are constants.
The following example of a convex region
(3.2.1.10) |
is illustrated in Fig. Convex region.
If the region for integration is not convex, it may happen that a straight segment of x or y, which is needed for the integration, is not entirely included in the region. In such a case, one has to exclude from the integration, the non-included segments according to the particularity of the region.
As an example, the non-convex region bounded by the two parabolas
(3.2.1.11) |
intersecting at the points (x,y)=(±1,1) is non-convex. We'll discuss three ways of iterations. Fig. Non-convex region is given as an illustration, and it is advisable to keep it open in parallel, for the study of this example.
1.
From the observation of the region, if the first integration is done with respect to y for a given value of x, then the segment of the integration is contained fully in the region, and does not have any gaps. Therefore one can write
(3.2.1.12) |
where are from (3.2.1.11) and the limits for the integration over x correspond to the minimal and maximal x values of the region, exactly like it is for a convex region.
2.
Also from the observation, if the first integration is over x, the behaviour depends on the sign of y :
(3.2.1.13) |
(3.2.1.14) |
(3.2.1.15) |
(3.2.1.16) |
3.
We could also extend the region to a convex one for doing the integration there, and subtracting afterwards the integral of the extension. This can be done, only if the function is integrable in the extended region. It may sound complicated, but as we'll see, it is not, and is frequently used.
By defining a new curve
(3.2.1.17) |
we can define two convex regions between the boundaries
(3.2.1.18) |
The subtraction of the integral over the region 2, from that over the region 1 (3.2.1.18), will give the required integral.
Any double integral (3.2.1.3) with f(x,y)=1 represents the "area" of the appropriate region. We already used the integral of the function y(x), with respect to the variable x in order to express an enclosed area. These two ways of expressing an area are two different approaches that solve the same problem.
The area of the triangular region from (3.2.1.10) will be used as a simple example:
(3.2.1.19) |
As another example, the area of an ellipse
(3.2.1.20) |
will be calculated. This was already done by the use of a single integral in an exercise from the previous chapter, giving the area . By the use of a double double integral, one obtains the area A
(3.2.1.21) |
as expected.
We know from chapter 2 that the single integral of a curve y(x) over an interval of a variable x, represents the "area" between the curve and the x axis in the interval. By the same reasoning, a double integral of a surface z(x,y) over a (x,y) region of the variables, represents the "volume" under this surface.
As an example of the volume under a surface, we'll use the hyperbolic paraboloid, studied in the previous section.
(3.2.1.22) |
which for convenience is translated in the z direction by 5 units, and for simplicity the region is a square. The example is illustrated in Fig. Volume under a surface.
The volume V in this example is
(3.2.1.23) |
As another example, we'll calculate the volume of the ellipsoid
(3.2.1.24) |
Half of its volume is enclosed between the surface corresponding to positive z
(3.2.1.25) |
and the (x,y) plane (corresponding to z=0), therefore the volume V can be calculated over the same region of coordinates as in (3.2.1.21),
(3.2.1.26) |
For the function of a single variable y(x), we defined its mean value in an interval (a,b) of x as the expression:
(3.2.1.27) |
In the case of a function of two variables , one defines its mean value as
(3.2.1.28) |
in the region of integration.
As an example, the mean value z(x,y) (3.2.1.22-23) in the specified region is
(3.2.1.29) |
This means that
(3.2.1.30) |
or that has balanced positive and negative values in the region.
Centre of mass (or centre of gravitation) is an important notion of physics, which was obtained in equation (3.1.5.16) as the solution of an example. The definition is: For n physical points with masses mi located in space with fixed coordinates (x, y, z)i=(xi, yi, zi), where i=1,2,....,n, the centre of mass is located at
(3.2.1.31) |
In the case of a solid body, the sums of (3.2.1.31) become integrals. For example in the case of a two dimensional planar body in a region of (x,y), with a density of σ(x,y) mass/area, one obtains:
(3.2.1.32) |
where M is the total mass.
As an example we'll use a planar body in the triangular region of (3.2.1.10), with a mass density decreasing with x:
(3.2.1.33) |
According to the limits of the integral (3.1.1.19), the denominator of (3.2.1.32) becomes
(3.2.1.34) |
and the centre of mass point is at
(3.2.1.35) |
In the case of a uniform distribution of mass (constant density), one obtains
(3.2.1.36) |
The point of a region corresponding to the mean value of the coordinates is called a centroid, therefore in the case of a constant density, the centre of mass of a body is equivalent to its centroid.
In the previous example (3.2.1.33), but with uniform mass distribution, we obtain
(3.2.1.37) |
The equality xcm=ycm in (3.2.1.37) is due to the symmetry of the region under the (x,y) inversion.
Reminder from chapter 2. The user can freely help himself with a table of integrals, for solving exercises.
Exercise 1. Two parabolas
where a is a constant, are enclosing an area in the (x,y) plane.
Exercise 2. Use a double integral to calculate the volume enclosed between the (x,y), (y,z), (x,z) planes, and the plane intersecting the axes at x=a , y=b , and z=c !
Exercise 4. The density of a flat solid body is uniformly distributed. The body consisits of two parts:
Previous topic: Section 1 Differentiation, page 7 Jacobian
Next topic: Page 2 Multiple Integral