<< Chapter < Page Chapter >> Page >
  • 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 2 3 x ( x 2 4 ) 5 d x , we substitute u = g ( x ) = x 2 4 . Then d u = 2 x d x or x d x = 1 2 d u and the limits change to u = g ( 2 ) = 2 2 4 = 0 and u = g ( 3 ) = 9 4 = 5 . Thus the integral becomes 0 5 1 2 u 5 d u 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,

a b f ( x ) d x = c d f ( g ( u ) ) g ( u ) d u ,

Where x = g ( u ) , d x = g ( u ) d u , and u = c and u = d satisfy c = g ( a ) and d = g ( b ) .

A similar result occurs in double integrals when we substitute x = f ( r , θ ) = r cos θ , y = g ( r , θ ) = r sin θ , and d A = d x d y = r d r d θ . Then we get

R f ( x , y ) d A = S f ( r cos θ , r sin θ ) r d r d θ

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 R 2 . For example, [link] shows a region G in the u v -plane transformed into a region R in the x y -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 g u , g v , h u , and h v exist and are also continuous. The need for this requirement will become clear soon.

On the left-hand side of this figure, there is a region G with point (u, v) given in the Cartesian u v-plane. Then there is an arrow from this graph to the right-hand side of the figure marked with x = g(u, v) and y = h(u, v). On the right-hand side of this figure there is a region R with point (x, y) given in the Cartesian xy- plane.
The transformation of a region G in the u v -plane into a region R in the x y -plane .

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 ( u 1 , v 1 ) = T ( u 2 , v 2 ) and show that as a consequence we obtain ( u 1 , v 1 ) = ( u 2 , v 2 ) . 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.

[link] 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 .

Determining how the transformation works

Suppose a transformation T is defined as T ( r , θ ) = ( x , y ) where x = r cos θ , y = r sin θ . Find the image of the polar rectangle G = { ( r , θ ) | 0 < r 1 , 0 θ π / 2 } in the r θ -plane to a region R in the x y -plane . Show that T is a one-to-one transformation in G and find T −1 ( x , y ) .

Since r varies from 0 to 1 in the r θ -plane , we have a circular disc of radius 0 to 1 in the x y -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 x y -plane ( [link] ). Hence R is a quarter circle bounded by x 2 + y 2 = 1 in the first quadrant.

On the left-hand side of this figure, there is a rectangle G with a marked subrectangle given in the first quadrant of the Cartesian r theta-plane. Then there is an arrow from this graph to the right-hand side of the figure marked with x = r cos theta and y = r sin theta. On the right-hand side of this figure there is a quarter circle R with a marked subannulus (analogous to the rectangle in the other graph) given in the Cartesian x y-plane.
A rectangle in the r θ -plane is mapped into a quarter circle in the x y -plane .

In order to show that T is a one-to-one transformation, assume T ( r 1 , θ 1 ) = T ( r 2 , θ 2 ) and show as a consequence that ( r 1 , θ 1 ) = ( r 2 , θ 2 ) . In this case, we have

T ( r 1 , θ 1 ) = T ( r 2 , θ 2 ) , ( x 1 , y 1 ) = ( x 1 , y 1 ) , ( r 1 cos θ 1 , r 1 sin θ 1 ) = ( r 2 cos θ 2 , r 2 sin θ 2 ) , r 1 cos θ 1 = r 2 cos θ 2 , r 1 sin θ 1 = r 2 sin θ 2 .

Dividing, we obtain

r 1 cos θ 1 r 1 sin θ 1 = r 2 cos θ 2 r 2 sin θ 2 cos θ 1 sin θ 1 = cos θ 2 sin θ 2 tan θ 1 = tan θ 2 θ 1 = θ 2

since the tangent function is one-one function in the interval 0 θ π / 2 . Also, since 0 < r 1 , we have r 1 = r 2 , θ 1 = θ 2 . Therefore, ( r 1 , θ 1 ) = ( r 2 , θ 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 r 2 = x 2 + y 2 and tan θ = y x . Thus T −1 ( x , y ) = ( r , θ ) is defined as r = x 2 + y 2 and θ = tan −1 ( y x ) .

Got questions? Get instant answers now!
Got questions? Get instant answers now!
Practice Key Terms 4

Get Jobilize Job Search Mobile App in your pocket Now!

Get it on Google Play Download on the App Store Now




Source:  OpenStax, Calculus volume 3. OpenStax CNX. Feb 05, 2016 Download for free at http://legacy.cnx.org/content/col11966/1.2
Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'Calculus volume 3' conversation and receive update notifications?

Ask