Learning Objectives
- 5.7.1 Determine the image of a region under a given transformation of variables.
- 5.7.2 Compute the Jacobian of a given transformation.
- 5.7.3 Evaluate a double integral using a change of variables.
- 5.7.4 Evaluate a triple integral using a change of variables.
Recall from Substitution Rule the method of integration by substitution. When evaluating an integral such as ∫32x(x2−4)5dx, we substitute u=g(x)=x2−4. Then du=2xdx or xdx=12du and the limits change to u=g(2)=22−4=0 and u=g(3)=9−4=5. Thus the integral becomes ∫5012u5du and this integral is much simpler to evaluate. In other words, when solving integration problems, we make appropriate substitutions to obtain an integral that becomes much simpler than the original integral.
We also used this idea when we transformed double integrals in rectangular coordinates to polar coordinates and transformed triple integrals in rectangular coordinates to cylindrical or spherical coordinates to make the computations simpler. More generally,
Where x=g(u),dx=g′(u)du, and u=c and u=d satisfy c=g-1(a) and d=g-1(b).
A similar result occurs in double integrals when we substitute x=h(r,θ)=rcosθ, y=g(r,θ)=rsinθ, and dA=dxdy=rdrdθ. Then we get
where the domain R is replaced by the domain S in polar coordinates. Generally, the function that we use to change the variables to make the integration simpler is called a transformation or mapping.
Planar Transformations
A planar transformation T is a function that transforms a region G in one plane into a region R in another plane by a change of variables. Both G and R are subsets of ℝ2. For example, Figure 5.71 shows a region G in the uv-plane transformed into a region R in the xy-plane by the change of variables x=g(u,v) and y=h(u,v), or sometimes we write x=x(u,v) and y=y(u,v). We shall typically assume that each of these functions has continuous first partial derivatives, which means gu,gv,hu, and hv exist and are also continuous. The need for this requirement will become clear soon.
Definition
A transformation T:G→R, defined as T(u,v)=(x,y), is said to be a one-to-one transformation if no two points map to the same image point.
To show that T is a one-to-one transformation, we assume T(u1,v1)=T(u2,v2) and show that as a consequence we obtain (u1,v1)=(u2,v2). If the transformation T is one-to-one in the domain G, then the inverse T−1 exists with the domain R such that T−1∘T and T∘T−1 are identity functions.
Figure 5.71 shows the mapping T(u,v)=(x,y) where x and y are related to u and v by the equations x=g(u,v) and y=h(u,v). The region G is the domain of T and the region R is the range of T, also known as the image of G under the transformation T.
Example 5.65
Determining How the Transformation Works
Suppose a transformation T is defined as T(r,θ)=(x,y) where x=rcosθ,y=rsinθ. Find the image of the polar rectangle G={(r,θ)|0<r≤1,0≤θ≤π/2} in the rθ-plane to a region R in the xy-plane. Show that T is a one-to-one transformation in G and find T−1(x,y).
Solution
Since r varies from 0 to 1 in the rθ-plane, we have a circular disc of radius 0 to 1 in the xy-plane. Because θ varies from 0 to π/2 in the rθ-plane, we end up getting a quarter circle of radius 1 in the first quadrant of the xy-plane (Figure 5.72). Hence R is a quarter circle bounded by x2+y2=1 in the first quadrant.
In order to show that T is a one-to-one transformation, assume T(r1,θ1)=T(r2,θ2) and show as a consequence that (r1,θ1)=(r2,θ2). In this case, we have
Dividing, we obtain
since the cotangent function is one-one function in the interval 0≤θ≤π/2. Also, since 0<r≤1, we have r1=r2,θ1=θ2. Therefore, (r1,θ1)=(r2,θ2) and T is a one-to-one transformation from G into R.
To find T−1(x,y) solve for r,θ in terms of x,y. We already know that r2=x2+y2 and tanθ=yx. Thus T−1(x,y)=(r,θ) is defined as r=√x2+y2 and θ=tan−1(yx).
Example 5.66
Finding the Image under T
Let the transformation T be defined by T(u,v)=(x,y) where x=u2−v2 and y=uv. Find the image of the triangle in the uv-plane with vertices (0,0),(0,1), and (1,1).
Solution
The triangle and its image are shown in Figure 5.73. To understand how the sides of the triangle transform, call the side that joins (0,0) and (0,1) side A, the side that joins (0,0) and (1,1) side B, and the side that joins (1,1) and (0,1) side C.
For the side A:u=0,0≤v≤1 transforms to x=−v2,y=0 so this is the side A′ that joins (−1,0) and (0,0).
For the side B:u=v,0≤u≤1 transforms to x=0,y=u2 so this is the side B′ that joins (0,0) and (0,1).
For the side C:0≤u≤1,v=1 transforms to x=u2−1,y=u (hence x=y2−1) so this is the side C′ that makes the upper half of the parabolic arc joining (−1,0) and (0,1).
All the points in the entire region of the triangle in the uv-plane are mapped inside the parabolic region in the xy-plane.
Checkpoint 5.43
Let a transformation T be defined as T(u,v)=(x,y) where x=u+v,y=3v. Find the image of the rectangle G={(u,v):0≤u≤1,0≤v≤2} from the uv-plane after the transformation into a region R in the xy-plane. Show that T is a one-to-one transformation and find T−1(x,y).
Jacobians
Recall that we mentioned near the beginning of this section that each of the component functions must have continuous first partial derivatives, which means that gu,gv,hu, and hv exist and are also continuous. A transformation that has this property is called a C1 transformation (here C denotes continuous). Let T(u,v)=(g(u,v),h(u,v)), where x=g(u,v) and y=h(u,v), be a one-to-one C1 transformation. We want to see how it transforms a small rectangular region S, Δu units by Δv units, in the uv-plane (see the following figure).
Since x=g(u,v) and y=h(u,v), we have the position vector r(u,v)=g(u,v)i+h(u,v)j of the image of the point (u,v). Suppose that (u0,v0) is the coordinate of the point at the lower left corner that mapped to (x0,y0)=T(u0,v0). The line v=v0 maps to the image curve with vector function r(u,v0), and the tangent vector at (x0,y0) to the image curve is
Similarly, the line u=u0 maps to the image curve with vector function r(u0,v), and the tangent vector at (x0,y0) to the image curve is
Now, note that
Similarly,
This allows us to estimate the area ΔA of the image R by finding the area of the parallelogram formed by the sides Δvrv and Δuru. By using the cross product of these two vectors by adding the k component as 0, the area ΔA of the image R (refer to The Cross Product) is approximately || In determinant form, the cross product is
Since we have
Definition
The Jacobian of the transformation is denoted by and is defined by the determinant
Using the definition, we have
Note that the Jacobian is frequently denoted simply by
Note also that
Hence the notation suggests that we can write the Jacobian determinant with partials of in the first row and partials of in the second row.
Example 5.67
Finding the Jacobian
Find the Jacobian of the transformation given in Example 5.65.
Solution
The transformation in the example is where and Thus the Jacobian is
Example 5.68
Finding the Jacobian
Find the Jacobian of the transformation given in Example 5.66.
Solution
The transformation in the example is where and Thus the Jacobian is
Checkpoint 5.44
Find the Jacobian of the transformation given in the previous checkpoint:
Change of Variables for Double Integrals
We have already seen that, under the change of variables where and a small region in the is related to the area formed by the product in the by the approximation
Now let’s go back to the definition of double integral for a minute:
Referring to Figure 5.75, observe that we divided the region in the into small subrectangles and we let the subrectangles in the be the images of under the transformation
Then the double integral becomes
Notice this is exactly the double Riemann sum for the integral
Theorem 5.14
Change of Variables for Double Integrals
Let where and be a one-to-one transformation, with a nonzero Jacobian on the interior of the region in the it maps into the region in the If is continuous on then
With this theorem for double integrals, we can change the variables from to in a double integral simply by replacing
when we use the substitutions and and then change the limits of integration accordingly. This change of variables often makes any computations much simpler.
Example 5.69
Changing Variables from Rectangular to Polar Coordinates
Consider the integral
Use the change of variables and and find the resulting integral.
Solution
First we need to find the region of integration. This region is bounded below by and above by (see the following figure).
Squaring and collecting terms, we find that the region is the upper half of the circle that is, In polar coordinates, the circle is so the region of integration in polar coordinates is bounded by and
The Jacobian is as shown in Example 5.67. Since we have
The integrand changes to in polar coordinates, so the double iterated integral is
Checkpoint 5.45
Considering the integral use the change of variables and and find the resulting integral.
Notice in the next example that the region over which we are to integrate may suggest a suitable transformation for the integration. This is a common and important situation.
Example 5.70
Changing Variables
Consider the integral where is the parallelogram joining the points and (Figure 5.77). Make appropriate changes of variables, and write the resulting integral.
Solution
First, we need to understand the region over which we are to integrate. The sides of the parallelogram are (Figure 5.78). Another way to look at them is and
Clearly the parallelogram is bounded by the lines and
Notice that if we were to make and then the limits on the integral would be and
To solve for and we multiply the first equation by and subtract the second equation, Then we have Moreover, if we simply subtract the second equation from the first, we get and
Thus, we can choose the transformation
and compute the Jacobian We have
Therefore, Also, the original integrand becomes
Therefore, by the use of the transformation the integral changes to
which is much simpler to compute. In fact, it is easily found to be zero. And this is just one example of why we transform integrals like this.
Checkpoint 5.46
Make appropriate changes of variables in the integral where is the trapezoid bounded by the lines Write the resulting integral.
We are ready to give a problem-solving strategy for change of variables.
Problem-Solving Strategy
Change of Variables
- Sketch the region given by the problem in the and then write the equations of the curves that form the boundary.
- Depending on the region or the integrand, choose the transformations and
- Determine the new limits of integration in the
- Find the Jacobian
- In the integrand, replace the variables to obtain the new integrand.
- Replace or whichever occurs, by
In the next example, we find a substitution that makes the integrand much simpler to compute.
Example 5.71
Evaluating an Integral
Using the change of variables and evaluate the integral
where is the region bounded by the lines and and the curves and (see the first region in Figure 5.79).
Solution
As before, first find the region and picture the transformation so it becomes easier to obtain the limits of integration after the transformations are made (Figure 5.79).
Given and we have and and hence the transformation to use is The lines and become and respectively. The curves and become and respectively.
Thus we can describe the region (see the second region Figure 5.79) as
The Jacobian for this transformation is
Therefore, by using the transformation the integral changes to
Doing the evaluation, we have
Checkpoint 5.47
Using the substitutions and evaluate the integral where is the region bounded by the lines
Change of Variables for Triple Integrals
Changing variables in triple integrals works in exactly the same way. Cylindrical and spherical coordinate substitutions are special cases of this method, which we demonstrate here.
Suppose that is a region in and is mapped to in (Figure 5.80) by a one-to-one transformation where and
Then any function defined on can be thought of as another function that is defined on
Now we need to define the Jacobian for three variables.
Definition
The Jacobian determinant in three variables is defined as follows:
This is also the same as
The Jacobian can also be simply denoted as
With the transformations and the Jacobian for three variables, we are ready to establish the theorem that describes change of variables for triple integrals.
Theorem 5.15
Change of Variables for Triple Integrals
Let where and be a one-to-one transformation, with a nonzero Jacobian, that maps the region in the into the region in the As in the two-dimensional case, if is continuous on then
Let us now see how changes in triple integrals for cylindrical and spherical coordinates are affected by this theorem. We expect to obtain the same formulas as in Triple Integrals in Cylindrical and Spherical Coordinates.
Example 5.72
Obtaining Formulas in Triple Integrals for Cylindrical and Spherical Coordinates
Derive the formula in triple integrals for
- cylindrical and
- spherical coordinates.
Solution
- For cylindrical coordinates, the transformation is from the Cartesian to the Cartesian (Figure 5.81). Here and The Jacobian for the transformation is
We know that so Then the triple integral is
Figure 5.81 The transformation from rectangular coordinates to cylindrical coordinates can be treated as a change of variables from region in to region in - For spherical coordinates, the transformation is from the Cartesian to the Cartesian (Figure 5.82). Here and The Jacobian for the transformation is
Expanding the determinant with respect to the third row:
Since we must have ThusFigure 5.82 The transformation from rectangular coordinates to spherical coordinates can be treated as a change of variables from region in to region in
Then the triple integral becomes
Let’s try another example with a different substitution.
Example 5.73
Evaluating a Triple Integral with a Change of Variables
Evaluate the triple integral
in by using the transformation
Then integrate over an appropriate region in
Solution
As before, some kind of sketch of the region in over which we have to perform the integration can help identify the region in (Figure 5.83). Clearly in is bounded by the planes We also know that we have to use for the transformations. We need to solve for Here we find that and
Using elementary algebra, we can find the corresponding surfaces for the region and the limits of integration in It is convenient to list these equations in a table.
Equations in for the region | Corresponding equations in for the region | Limits for the integration in |
---|---|---|
Now we can calculate the Jacobian for the transformation:
The function to be integrated becomes
We are now ready to put everything together and complete the problem.
Checkpoint 5.48
Let be the region in defined by
Evaluate by using the transformation and
Section 5.7 Exercises
In the following exercises, the function on the region bounded by the unit square is given, where is the image of under
- Justify that the function is a transformation.
- Find the images of the vertices of the unit square through the function
- Determine the image of the unit square and graph it.
In the following exercises, determine whether the transformations are one-to-one or not.
is the rectangle of vertices
is the square of vertices
where
In the following exercises, the transformations are one-to-one. Find their related inverse transformations
where
where and
where
In the following exercises, the transformation and the region are given. Find the region
where
where
In the following exercises, find the Jacobian of the transformation.
The triangular region with the vertices is shown in the following figure.
- Find a transformation where and are real numbers with such that and
- Use the transformation to find the area of the region
The triangular region with the vertices is shown in the following figure.
- Find a transformation where and are real numbers with such that and
- Use the transformation to find the area of the region
In the following exercises, use the transformation to evaluate the integrals on the parallelogram of vertices shown in the following figure.
In the following exercises, use the transformation to evaluate the integrals on the square determined by the lines and shown in the following figure.
In the following exercises, use the transformation to evaluate the integrals on the region bounded by the ellipse shown in the following figure.
In the following exercises, use the transformation to evaluate the integrals on the trapezoidal region determined by the points shown in the following figure.
The circular annulus sector bounded by the circles and the line and the is shown in the following figure. Find a transformation from a rectangular region in the to the region in the Graph
The solid bounded by the circular cylinder and the planes is shown in the following figure. Find a transformation from a cylindrical box in to the solid in
Show that where is a continuous function on and is the region bounded by the ellipse
Show that where is a continuous function on and is the region bounded by the ellipsoid
[T] Find the area of the region bounded by the curves and by using the transformation and Use a computer algebra system (CAS) to graph the boundary curves of the region
[T] Find the area of the region bounded by the curves and by using the transformation and Use a CAS to graph the boundary curves of the region
Evaluate the triple integral by using the transformation
A transformation of the form where are real numbers, is called linear. Show that a linear transformation for which maps parallelograms to parallelograms.
The transformation where is called a rotation of angle Show that the inverse transformation of satisfies where is the rotation of angle
[T] Use the results of the previous exercise to find the region in the whose image through a rotation of angle is the region enclosed by the ellipse Use a CAS to answer the following questions.
- Graph the region
- Evaluate the integral Round your answer to two decimal places.
[T] The transformations defined by and are called reflections about the origin, and the line respectively.
- Find the image of the region in the through the transformation
- Use a CAS to graph
- Evaluate the integral by using a CAS. Round your answer to two decimal places.
[T] The transformation of the form where is a positive real number, is called a stretch if and a compression if in the Use a CAS to evaluate the integral on the solid by considering the compression defined by and Round your answer to four decimal places.
[T] The transformation where is a real number, is called a shear in the The transformation, where is a real number, is called a shear in the
- Find transformations
- Find the image of the trapezoidal region bounded by and through the transformation
- Use a CAS to graph the image in the
- Find the area of the region by using the area of region
Use the transformation, and spherical coordinates to show that the volume of a region bounded by the spheroid is
Find the volume of a football whose shape is a spheroid whose length from tip to tip is inches and circumference at the center is inches. Round your answer to two decimal places.
[T] Lamé ovals (or superellipses) are plane curves of equations where a, b, and n are positive real numbers.
- Use a CAS to graph the regions bounded by Lamé ovals for and respectively.
- Find the transformations that map the region bounded by the Lamé oval also called a squircle and graphed in the following figure, into the unit disk.
- Use a CAS to find an approximation of the area of the region bounded by Round your answer to two decimal places.
[T] Lamé ovals have been consistently used by designers and architects. For instance, Gerald Robinson, a Canadian architect, has designed a parking garage in a shopping center in Peterborough, Ontario, in the shape of a superellipse of the equation with and Use a CAS to find an approximation of the area of the parking garage in the case yards, yards, and .