Determine the image of a region under a given transformation of variables.
Compute the Jacobian of a given transformation.
Evaluate a double integral using a change of variables.
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
we substitute . Then or and the limits change to and . Thus the integral becomes
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 , and and satisfy and .
A similar result occurs in double integrals when we substitute
, and
.
Then we get
where the domain is replaced by the domain 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 is a function that transforms a region in one plane into a region in another plane by a change of variables. Both and are subsets of . For example, Figure shows a region in the -plane transformed into a region in the -plane by the change of variables and , or sometimes we write and . We shall typically assume that each of these functions has continuous first partial derivatives, which means and exist and are also continuous. The need for this requirement will become clear soon.
Figure : The transformation of a region in the -plane into a region in the -plane.
Definition: one-to-one transformation
A transformation , defined as , is said to be a one-to-one transformation if no two points map to the same image point.
To show that s a one-to-one transformation, we assume and show that as a consequence we obtain. If the transformation is one-to-one in the domain , then the inverse exists with the domain such that and are identity functions.
Figure shows the mapping where and are related to and by the equations and . The region is the domain of and the region is the range of , also known as the image of under the transformation .
Example : Determining How the Transformation Works
Suppose a transformation is defined as where . Find the image of the polar rectangle in the -plane to a region in the -plane. Show that is a one-to-one transformation in and find .
Solution
Since varies from 0 to 1 in the -plane, we have a circular disc of radius 0 to 1 in the -plane. Because varies from 0 to in the -plane, we end up getting a quarter circle of radius in the first quadrant of the -plane (Figure ). Hence is a quarter circle bounded by in the first quadrant.
Figure : A rectangle in the -plane is mapped into a quarter circle in the -plane.
In order to show that is a one-to-one transformation, assume and show as a consequence that . In this case, we have
Dividing, we obtain
since the tangent function is one-one function in the interval . Also, since , we have . Therefore, and is a one-to-one transformation from to .
To find solve for in terms of . We already know that and . Thus is defined as and .
Example : Finding the Image under
Let the transformation be defined by where and . Find the image of the triangle in the -plane with vertices , and .
Solution
The triangle and its image are shown in Figure . To understand how the sides of the triangle transform, call the side that joins and side , the side that joins and side , and the side that joins and side .
Figure : A triangular region in the -plane is transformed into an image in the -plane.
For the side transforms to so this is the side that joins and .
For the side transforms to so this is the side that joins and .
For the side transforms to (hence so this is the side that makes the upper half of the parabolic arc joining and .
All the points in the entire region of the triangle in the -plane are mapped inside the parabolic region in the -plane.
Exercise
Let a transformation be defined as where . Find the image of the rectangle from the -plane after the transformation into a region in the -plane. Show that is a one-to-one transformation and find .
Hint
Follow the steps of Example .
Answer
where and
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 and exist and are also continuous. A transformation that has this property is called a transformation (here denotes continuous). Let , where and be a one-to-one transformation. We want to see how it transforms a small rectangular region units by units, in the -plane (Figure ).
Figure : A small rectangle in the -plane is transformed into a region in the -plane.
Since and , we have the position vector of the image of the point . Suppose that is the coordinate of the point at the lower left corner that mapped to The line maps to the image curve with vector function , and the tangent vector at to the image curve is
Similarly, the line maps to the image curve with vector function , and the tangent vector at to the image curve is
Now, note that
Similarly,
This allows us to estimate the area of the image by finding the area of the parallelogram formed by the sides and . By using the cross product of these two vectors by adding the kth component as , the area of the image (refer to The Cross Product) is approximately . In determinant form, the cross product is
Since we have
Definition: Jacobian
The Jacobianof 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 : Finding the Jacobian
Find the Jacobian of the transformation given in Example .
Solution
The transformation in the example is where and . Thus the Jacobian is
Example : Finding the Jacobian
Find the Jacobian of the transformation given in Example .
Solution
The transformation in the example is where and . Thus the Jacobian is
Exercise
Find the Jacobian of the transformation given in the previous checkpoint: .
Hint
Follow the steps in the previous two examples.
Answer
Change of Variables for Double Integrals
We have already seen that, under the change of variables where and , a small region in the -plane is related to the area formed by the product in the -plane by the approximation
Now let’s go back to the definition of double integral for a minute:
Referring to Figure , observe that we divided the region in the -plane into small subrectangles and we let the subrectangles in the -plane be the images of under the transformation .
Figure : The subrectangles in the -plane transform into subrectangles in the -plane.
Then the double integral becomes
Notice this is exactly the double Riemann sum for the integral
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 -plane it maps into the region in the -plane. 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 : 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 (Figure ).
Figure : Changing a region from rectangular to polar coordinates.
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 . Since , we have .
The integrand changes to in polar coordinates, so the double iterated integral is
Exercise
Considering the integral use the change of variables and and find the resulting integral.
Hint
Follow the steps in the previous example.
Answer
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 : Changing Variables
Consider the integral where is the parallelogram joining the points , and (Figure ). Make appropriate changes of variables, and write the resulting integral.
Figure : The region of integration for the given integral.
Solution
First, we need to understand the region over which we are to integrate. The sides of the parallelogram are and (Figure ). 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 .
Figure : A parallelogram in the -plane that we want to transform by a change in variables.
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.
Exercise
Make appropriate changes of variables in the integral where is the trapezoid bounded by the lines , and . Write the resulting integral.
Hint
Follow the steps in the previous example.
Answer
and
and
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 -plane 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 -plane.
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 : 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 ).
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 ).
Figure : Transforming the region into the region to simplify the computation of an integral.
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 ) as
The Jacobian for this transformation is
Therefore, by using the transformation , the integral changes to
Doing the evaluation, we have
Exercise
Using the substitutions and , evaluate the integral where is the region bounded by the lines and .
Hint
Sketch a picture and find the limits of integration.
Answer
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 -space and is mapped to in -space (Figure ) by a one-to-one transformation where , and .
Figure : A region in -space mapped to a region in -space.
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: Jacobian determinant
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.
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 -space into the region in the -space. 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 : Obtaining Formulas in Triple Integrals for Cylindrical and Spherical Coordinates
Derive the formula in triple integrals for
cylindrical and
spherical coordinates.
Solution
A.
For cylindrical coordinates, the transformation is from the Cartesian -space to the Cartesian -space (Figure ). Here and . The Jacobian for the transformation is
We know that , so . Then the triple integral is
Figure : The transformation from rectangular coordinates to cylindrical coordinates can be treated as a change of variables from region in -space to region in -space.
B.
For spherical coordinates, the transformation is from the Cartesian -space to the Cartesian -space (Figure ). Here , and . The Jacobian for the transformation is
Expanding the determinant with respect to the third row:
Since , we must have . Thus
Figure : The transformation from rectangular coordinates to spherical coordinates can be treated as a change of variables from region in -space to region in -space.
Then the triple integral becomes
Let’s try another example with a different substitution.
Example : Evaluating a Triple Integral with a Change of Variables
Evaluate the triple integral
In -space by using the transformation
, and .
Then integrate over an appropriate region in -space.
Solution
As before, some kind of sketch of the region in -space over which we have to perform the integration can help identify the region in -space (Figure ). Clearly in -space is bounded by the planes , and . We also know that we have to use , and for the transformations. We need to solve for and . Here we find that , and .
Figure : The region in -space is transformed to region in -space.
Using elementary algebra, we can find the corresponding surfaces for the region and the limits of integration in -space. 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.
Exercise
Let be the region in -space defined by , and .
Evaluate by using the transformation , and .
Hint
Make a table for each surface of the regions and decide on the limits, as shown in the example.
Answer
Key Concepts
A transformation is a function that transforms a region in one plane (space) into a region . in another plane (space) by a change of variables.
A transformation defined as (or is said to be a one-to-one transformation if no two points map to the same image point.
If is continuous on , then
If is continuous on , then
[T] Lamé ovals (or superellipses) are plane curves of equations , where a, b, and n are positive real numbers.
a. Use a CAS to graph the regions bounded by Lamé ovals for and respectively.
b. 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.
c. 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 yards.
[Hide Solution]
Chapter Review Exercises
True or False? Justify your answer with a proof or a counterexample.
Fubini’s theorem can be extended to three dimensions, as long as is continuous in all variables.
[Hide solution]
True.
The integral represents the volume of a right cone.
The Jacobian of the transformation for is given by .
[Hide Solution]
False.
Evaluate the following integrals.
[Hide Solution]
where is a disk of radius centered at the origin
[Hide Solution]
where
[Hide Solution]
[Hide Solution]
For the following problems, find the specified area or volume.
The area of region enclosed by one petal of .
[Hide Solution]
The volume of the solid that lies between the paraboloid and the plane .
The volume of the solid bounded by the cylinder and from to .
[Hide Solution]
The volume of the intersection between two spheres of radius 1, the top whose center is and the bottom, which is centered at .
For the following problems, find the center of mass of the region.
on the circle with radius in the first quadrant only.
[Hide Solution]
in the region bounded by , and .
on the inverted cone with radius and height .
The volume an ice cream cone that is given by the solid above and below .
The following problems examine Mount Holly in the state of Michigan. Mount Holly is a landfill that was converted into a ski resort. The shape of Mount Holly can be approximated by a right circular cone of height ft and radius ft.
If the compacted trash used to build Mount Holly on average has a density , find the amount of work required to build the mountain.
[Hide Solution]
ft-lb
In reality, it is very likely that the trash at the bottom of Mount Holly has become more compacted with all the weight of the above trash. Consider a density function with respect to height: the density at the top of the mountain is still density and the density increases. Every feet deeper, the density doubles. What is the total weight of Mount Holly?
The following problems consider the temperature and density of Earth’s layers.
[T] The temperature of Earth’s layers is exhibited in the table below. Use your calculator to fit a polynomial of degree to the temperature along the radius of the Earth. Then find the average temperature of Earth. (Hint: begin at in the inner core and increase outward toward the surface)
[T] The density of Earth’s layers is displayed in the table below. Using your calculator or a computer program, find the best-fit quadratic equation to the density. Using this equation, find the total mass of Earth.
The following problems concern the Theorem of Pappus (see Moments and Centers of Mass for a refresher), a method for calculating volume using centroids. Assuming a region , when you revolve around the -axis the volume is given by , and when you revolve around the -axis the volume is given by , where is the area of . Consider the region bounded by and above .
Find the volume when you revolve the region around the -axis.
[Hide Solution]
Find the volume when you revolve the region around the -axis.
Glossary
Jacobian
the Jacobian in two variables is a determinant:
the Jacobian in three variables is a determinant:
one-to-one transformation
a transformation defined as is said to be one-to-one if no two points map to the same image point
planar transformation
a function that transforms a region in one plane into a region in another plane by a change of variables
transformation
a function that transforms a region GG in one plane into a region RR in another plane by a change of variables
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 and exist and are also continuous. A transformation that has this property is called a transformation (here denotes continuous). Let , where and be a one-to-one transformation. We want to see how it transforms a small rectangular region units by units, in the -plane (Figure ).
Since and , we have the position vector of the image of the point . Suppose that is the coordinate of the point at the lower left corner that mapped to The line maps to the image curve with vector function , and the tangent vector at to the image curve is
Similarly, the line maps to the image curve with vector function , and the tangent vector at to the image curve is
Now, note that
Similarly,
This allows us to estimate the area of the image by finding the area of the parallelogram formed by the sides and . By using the cross product of these two vectors by adding the kth component as , the area of the image (refer to The Cross Product) is approximately . In determinant form, the cross product is
Since we have
Definition: Jacobian
The Jacobian of the transformation is denoted by and is defined by the determinant