Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

15.7: Change of Variables

( \newcommand{\kernel}{\mathrm{null}\,}\)

One of the most useful techniques for evaluating integrals is substitution, both "u-substitution'' and trigonometric substitution, in which we change the variable to something more convenient. As we have seen, sometimes changing from rectangular coordinates to another coordinate system is helpful, and this too changes the variables. This is certainly a more complicated change, since instead of changing one variable for another we change an entire suite of variables, but as it turns out it is really very similar to the kinds of change of variables we already know as substitution.

Let's examine the single variable case again, from a slightly different perspective than we have previously used. Suppose we start with the problem

10x21x2dx;

this computes the area in the left graph of figure~\xrefn{fig:one change of variable}. We use the substitution x=sinu to transform the function from x21x2 to sin2u1sin2u, and we also convert dx to cosudu. Finally, we convert the limits 0 and 1 to 0 and π/2. This transforms the integral in Equation ???:

10x21x2dx=π/20sin2u1sin2ucosudu.

We want to notice that there are three different conversions:

  1. the main function,
  2. the differential dx, and
  3. the interval of integration.

The function is converted to sin2u1sin2u, shown in the right-hand graph of Figure 15.7.1. It is evident that the two curves pictured there have the same y-values in the same order, but the horizontal scale has been changed. Even though the heights are the same, the two integrals

10x21x2dxandπ/20sin2u1sin2udu

are not the same; clearly the right hand area is larger. One way to understand the problem is to note that if both areas are approximated using, say, ten subintervals, that the approximating rectangles on the right are wider than their counterparts on the left, as indicated.

Single change of variable.

Figure 15.7.1: Single change of variable.

In the picture, the width of the rectangle on the left is Δx=0.1, between 0.7 and 0.8. The rectangle on the right is situated between the corresponding values arcsin(0.7) and arcsin(0.8) so that Δu=arcsin(0.8)arcsin(0.7). To make the widths match, and the areas therefore the same, we can multiply Δu by a correction factor; in this case the correction factor is approximately cosu=cos(arcsin(0.7)), which we compute when we convert dx to cosudu. Now let's move to functions of two variables. Suppose we want to convert an integral x1x0y1y0f(x,y)dydx to use new variables u and v. In the single variable case, there's typically just one reason to want to change the variable: to make the function "nicer'' so that we can find an antiderivative. In the two variable case, there is a second potential reason: the two-dimensional region over which we need to integrate is somehow unpleasant, and we want the region in terms of u and v to be nicer---to be a rectangle, for example. Ideally, of course, the new function and the new region will be no worse than the originals, and at least one of them will be better; this doesn't always pan out.

As before, there are three parts to the conversion: the function itself must be rewritten in terms of u and v, dydx must be converted to dudv, and the old region must be converted to the new region. We will develop the necessary techniques by considering a particular example, and we will use an example we already know how to do by other means.

Consider

111x20x2+y2dydx.

The limits correspond to integrating over the top half of a circular disk, and we recognize that the function will simplify in polar coordinates, so we would normally convert to polar coordinates:

π010r2rdrdθ=π3.

But let's instead approach this as a substitution problem, starting with x=rcosθ, y=rsinθ. This pair of equations describes a function from "r-θ space'' to ``x-y space'', and because it involves familiar concepts, it is not too hard to understand what it does. In Figure 15.7.2 we have indicated geometrically a bit about how this function behaves. The four dots labeled {\em a}--{\em d} in the r-θ plane correspond to the three dots in the x-y plane; dots {\em a} and {\em b} both go to the origin because r=0. The horizontal arrow in the r-θ plane has r=1 everywhere and θ ranges from 0 to π, so the corresponding points x=rcosθ, y=rsinθ start at (1,0) and follow the unit circle counter-clockwise. Finally, the vertical arrow has θ=π/4 and r ranges from 0 to 1, so it maps to the straight arrow in the x-y plane. Extrapolating from these few examples, it's not hard to see that every vertical line in the r-θ plane is transformed to a line through the origin in the x-y plane, and every horizontal line in the r-θ plane is transformed to a circle with center at the origin in the x-y plane. Since we are interested in integrating over the half-disk in the x-y plane, we will integrate over the rectangle [0,π]×[0,1] in the r-θ plane, because we now see that the points in this rectangle are sent precisely to the upper half disk by x=rcosθ and y=rsinθ.

Double change of variable.

Figure 15.7.2: Double change of variable.

At this point we are two-thirds done with the task: we know the r-θ limits of integration, and we can easily convert the function to the new variables:

x2+y2=r2cos2θ+r2sin2θ=rcos2θ+sin2θ=r.

The final, and most difficult, task is to figure out what replaces dxdy. (Of course, we actually know the answer, because we are in effect converting to polar coordinates. What we really want is a series of steps that gets to that right answer but that will also work for other substitutions that are not so familiar.)

Let's take a step back and remember how integration arises from approximation. When we approximate the integral in the x-y plane, we are computing the volumes of tall thin boxes, in this case boxes that are Δx×Δy×x2+y2. We are aiming to come up with an integral in the r- θ plane that looks like this:

π010r(?)drdθ.

What we're missing is exactly the right quantity to replace the "?'' so that we get the correct answer. Of course, this integral is also the result of an approximation, in which we add up volumes of boxes that are Δr×Δθ×height; the problem is that the height that will give us the correct answer is not simply r. Or put another way, we can think of the correct height as r, but the area of the base ΔrΔθ as being wrong. The height r comes from equation~\xrefn{eq:transformed function}, which is to say, it is precisely the same as the corresponding height in the x-y version of the integral. The problem is that the area of the base Δx×Δy is not the same as the area of the base Δr×Δθ. We can think of the "?'' in the integral as a correction factor that is needed so that ?drdθ = dxdy.

So let's think about what that little base Δr×Δθ corresponds to. We know that each bit of horizontal line in the r-θ plane corresponds to a bit of circular arc in the x-y plane, and each bit of vertical line in the r-θ plane corresponds to a bit of "radial line'' in the x-y plane. In Figure 15.7.3 we show a typical rectangle in the r-θ plane and its corresponding area in the x-y plane.

Corresponding areas.

Figure 15.7.3: Corresponding areas.

In this case, the region in the x-y plane is approximately a rectangle with dimensions Δr×rΔθ, but in general the corner angles will not be right angles, so the region will typically be (almost) a parallelogram. We need to compute the area of this parallelogram. We know a neat way to do this: compute the length of a certain cross product. If we can determine an appropriate two vectors we'll be nearly done.

Fortunately, we've really done this before. The sides of the region in the x-y plane are formed by temporarily fixing either r or θ and letting the other variable range over a small interval. In Figure 15.7.3, for example, the upper right edge of the region is formed by fixing θ=2π/3 and letting r run from 0.5 to 0.75. In other words, we have a vector function v(r)=rcosθ0,rsinθ0,0, and we are interested in a restricted set of values for r. A vector tangent to this path is given by the derivative v(r)=cosθ0,sinθ0,0, and a small tangent vector, with length approximately equal to the side of the region, is cosθ0,sinθ0,0dr. Likewise, if we fix r=r0=0.5, we get the vector function w(θ)=r0cosθ,r0sinθ,0 with derivative w(θ)=r0sinθ,r0cosθ,0 and a small tangent vector r0sinθ0,r0cosθ0,0dθ when θ=θ0 (at the corner we're focusing on). These vectors are shown in Figure 15.7.4, with the actual region outlined by a dotted boundary. Of course, since both Δr and Δθ are quite large, the parallelogram is not a particularly good approximation to the true area.

The approximating parallelogram.

Figure 15.7.4: The approximating parallelogram.

The area of this parallelogram is the length of the cross product:

r0sinθ0,r0cosθ0,0dθ×cosθ0,sinθ0,0dr=|ijkr0sinθ0r0cosθ00cosθ0sinθ00|dθdr=0,0,r0sin2θ0r0cos2θ0dθdr=0,0,r0dθdr.

The length of this vector is r0drdθ. So in general, for any values of r and θ, the area in the x-y plane corresponding to a small rectangle anchored at (θ,r) in the r-θ plane is approximately rdrdθ. In other words, "r'' replaces the "?'' in our integral.

In general, a substitution will start with equations x=f(u,v) and y=g(u,v). Again, it will be straightforward to convert the function being integrated. Converting the limits will require, as above, an understanding of just how the functions f and g transform the u-v plane into the x-y plane. Finally, the small vectors we need to approximate an area will be fu,gu,0du and fv,gv,0dv. The cross product of these is

0,0,fugvgufvdudv

with length

|fugvgufv|dudv.

The quantity

|fugvgufv|

is usually denoted

|(x,y)(u,v)|=|fugvgufv|

and called the Jacobian. Note that this is the absolute value of the two-by-two determinant

|fugufvgv|,

which may be easier to remember.

Confusingly, the matrix, the determinant of the matrix, and the absolute value of the determinant are all called the Jacobian by various authors.

Because there are two things to worry about, namely, the form of the function and the region of integration, transformations in two (or more) variables are quite tricky to discover.

Example 15.7.1:

Integrate x2xy+y2 over the region x2xy+y22.

Solution

The equation x2xy+y2=2 describes an ellipse as in Figure 15.7.5; the region of integration is the interior of the ellipse. We will use the transformation x=2u2/3v, y=2u+2/3v. Substituting into the function itself we get

x2xy+y2=2u2+2v2.

The boundary of the ellipse is x2xy+y2=2, so the boundary of the corresponding region in the u-v plane is 2u2+2v2=2 or u2+v2=1, the unit circle, so this substitution makes the region of integration simpler.

Next, we compute the Jacobian, using f=2u2/3v and g=2u+2/3v:

fugvgufv=22/3+22/3=43.

Hence the new integral is

R(2u2+2v2)43dudv,

where R is the interior of the unit circle. This is still not an easy integral, but it is easily transformed to polar coordinates, and then easily integrated.

x^2-xy+y^2=2

Figure 15.7.5: x2xy+y2=2

There is a similar change of variables formula for triple integrals, though it is a bit more difficult to derive. Suppose we use three substitution functions, x=f(u,v,w), y=g(u,v,w), and z=h(u,v,w). The Jacobian determinant is now

(x,y,z)(u,v,w)=|fuguhufvgvhvfwgwhw|.

Then the integral is transformed in a similar fashion:

RF(x,y,z)dV=SF(f(u,v,w),g(u,v,w),h(u,v,w))|(x,y,z)(u,v,w)|dudvdw,

where of course the region S in uvw space corresponds to the region R in xyz space.

Contributors


This page titled 15.7: Change of Variables is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by David Guichard via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?