M408M Learning Module Pages
Main page Chapter 10: Parametric Equations and Polar CoordinatesChapter 12: Vectors and the Geometry of SpaceChapter 13: Vector FunctionsChapter 14: Partial DerivativesChapter 15: Multiple IntegralsLearning module LM 15.1: Multiple integralsLearning module LM 15.2: Multiple integrals over rectangles:Learning module LM 15.3: Double integrals over general regions:Learning module LM 15.4: Double integrals in polar coordinates:Learning module LM 15.5a: Multiple integrals in physics:Learning module LM 15.5b: Integrals in probability and statistics:Learning module LM 15.10: Change of variables:Change of variable in 1 dimensionMappings in 2 dimensions Jacobians Examples Cylindrical and spherical coordinates |
Change of variable in 1 dimensionOf all the techniques of integration that we have learned, the most powerful, and the simplest, is $u$-substitution. If $u = g(x)$, then $$\int_a^b f(g(x)) g'(x) dx = \int_{g(a)}^{g(b)} f(u) du.$$ You probably learned this method in terms of anti-derivatives, as a way to turn the chain rule inside out. That sort of reasoning doesn't generalize very well to multiple dimensions. Instead, let's analyze $u$-substitution from the definition of an integral. By definition, $\int_a^b f(g(x)) g'(x) dx$ is the limit of a sum $$\sum_{i=1}^N f(g(x_i^*)) g'(x_i^*) \Delta_i x,$$ where we have broken the interval from $a$ to $b$ into $N$ pieces, $x_i^*$ is a point in the $i$-th piece, and $\Delta_i x$ is the length of the $i$-th piece. If we let $u_i^* = g(x_i^*)$, then $\Delta_i u \approx g'(x_i^*) \Delta_i x$, and our sum is approximately $$\sum_{i=1}^N f(u_i^*) \Delta_i u.$$ The limit of this sum is, by definition, the definite integral of $f(u) du$ from the starting value of $u$ (namely $g(a)$) to the ending value of $u$ ($g(b)$). We have converted an integral in $x$-space into an integral in $u$-space, but the functions being integrated are not the same. In one case we integrate $f(u)$. In the other case we integrate $f(g(x))$ times a distortion factor $g'(x)$. This factor corrects for $\Delta u$ being a different size than $\Delta x$. We also learned about inverse $u$-substitution, especially in the context of trig substitutions. If $x=g(u)$ (rather than the other way around), then $$\int_a^b f(x) dx = \int_{\alpha}^{\beta} f(g(u)) g'(u) du,$$ where $a=g(\alpha)$ and $b=g(\beta)$. That's the same rule we had before, only with the roles of $x$ and $u$ reversed. We say that $g$ is a mapping from $u$-space to $x$-space, sending the interval $[\alpha,\beta]$ to the interval $[a,b]$, and the distortion factor $g'(u)$ is called the Jacobian of this mapping. When we write the equation $$dx = g'(u) du,$$ we are saying that the length of a short interval in $x$-space is $g'(u)$ longer than the interval of the corresponding interval in $u$-space.
|