Multidimensional Integration 5 | Change of Variables Formula

TL;DR

A valid n-dimensional change of variables requires a C1 diffeomorphism between open sets in n.

Briefing Cornell Notes

Briefing

Multidimensional integration gets a practical upgrade through the change of variables formula: it lets integrals over a region in n be computed by switching to a new coordinate system where the region is easier to handle, without changing the integral’s value. The key idea is to replace the original variables x in an integral with new variables x (written as x tilde), using a differentiable, invertible transformation between the two coordinate descriptions.

Start with an open set U in n and a measurable function f defined on it. The goal is to compute the n-dimensional integral of f over U. To do that, introduce another open set Utilde in n and a transformation : Utilde n n that maps the new coordinates back to the old ones. The transformation must be a C1 diffeomorphism: it is continuously differentiable, bijective, and its inverse is also continuously differentiable. This diffeomorphism condition is what makes the coordinate change mathematically legitimate and ensures the Jacobian machinery works cleanly.

Under this setup, the substitution rule mirrors the one-dimensional “dx becomes f’(x) dx” idea, but the derivative becomes a Jacobian matrix. If is the change of variables map, then the Jacobian matrix J(xtilde) collects all partial derivatives of the components of with respect to the new variables. Because the integral is over real-valued volume (and not oriented volume), the formula uses the absolute value of the determinant of the Jacobian, |det(J)|. That determinant factor accounts for how the transformation stretches or compresses n-dimensional volume elements.

The resulting change of variables formula states that integrating f over U is equivalent to integrating a transformed integrand over Utilde. Concretely, one side integrates f((xtilde)) with the volume scaling factor |det(J(xtilde))|. The other side can be viewed as integrating over the image of Utilde under , which is the same region U, but expressed through the mapping. A crucial consequence is symmetry: if one of the integrals exists, the other does too, so the formula can be used safely in either direction.

In practice, the formula’s power comes from choosing so that either the region becomes simpler on one side or the integrand becomes simpler after substitution. The hard part is not the determinant—it’s finding a suitable transformation. The payoff is that the integral’s value stays invariant under that coordinate change, making the method a central tool for solving otherwise difficult n-dimensional integrals.

Cornell Notes

The change of variables formula in n dimensions lets an integral over a region U be computed by switching to a new coordinate system Utilde using a C1 diffeomorphism . The transformation must be continuously differentiable, bijective, and have a continuously differentiable inverse, so the Jacobian determinant correctly tracks how volume elements change. In the substitution, the Jacobian matrix appears, but the integral uses only |det(J)| because n-dimensional integration is not orientation-dependent. If one of the two integrals (original or transformed) exists, the other exists as well, so the method can be applied in either direction. The main practical challenge is choosing a transformation that makes the resulting integral easier.

What conditions must the coordinate transformation satisfy for the n-dimensional change of variables formula to work?

The mapping must be a C1 diffeomorphism between open sets in n. That means is continuously differentiable, bijective, and its inverse ^{-1} is also continuously differentiable. This ensures the Jacobian matrix is well-defined and the determinant factor correctly accounts for the transformation’s local volume scaling.

Why does the formula use |det(J)| rather than the Jacobian matrix itself?

The Jacobian matrix is an nn matrix of partial derivatives, but the integral is over real-valued n-dimensional volume. The determinant det(J) measures how the transformation scales n-dimensional volume locally; taking the absolute value |det(J)| removes orientation effects, since the integral does not depend on whether the mapping flips orientation.

How does the substitution idea generalize from one dimension to higher dimensions?

In one dimension, substitution replaces dx by f’(x) dx (often remembered as “dx becomes derivative times dx”). In higher dimensions, the “derivative” becomes the Jacobian matrix J, and the corresponding volume element factor becomes |det(J)|. The integrand is also composed with the transformation, so f(x) becomes f((xtilde)).

What does it mean that the two integrals exist together?

The formula has an existence guarantee: if the integral over U of the original integrand exists, then the transformed integral over Utilde exists too, and vice versa. This matters for applications because it allows switching to whichever side is easier without worrying that the other side might fail to exist.

How can choosing the transformation make an integral easier in practice?

The transformed integrand and region may simplify. Sometimes the region U becomes a more convenient shape after mapping to Utilde, making the limits or geometry easier. Other times, composing the integrand with makes the function easier to integrate, even if the region on the other side looks more complicated. The determinant factor is the price paid for the coordinate change, so the best balances that cost against simplification.

Review Questions

What is the role of the C1 diffeomorphism condition in the change of variables formula?
In the substitution, what exactly is computed from the Jacobian matrix, and why is it placed inside absolute value bars?
How does the formula ensure that switching between x and xtilde does not change the integral’s value?

Key Points

1
A valid n-dimensional change of variables requires a C1 diffeomorphism between open sets in n.
2
The Jacobian matrix of the transformation captures all partial derivatives needed for the coordinate change.
3
The integral uses the absolute value of the Jacobian determinant, |det(J)|, to account for volume scaling without orientation.
4
The transformed integrand is obtained by composing the original function with the transformation, replacing f(x) by f((xtilde)).
5
If one side of the change of variables formula yields a well-defined integral, the other side does too.
6
The method’s effectiveness depends on choosing a transformation that simplifies either the region or the integrand after substitution.

Highlights

The substitution factor in n dimensions is not the Jacobian matrix itself but |det(J)|, reflecting how volume elements scale under the transformation.

A C1 diffeomorphism (bijective, continuously differentiable with continuously differentiable inverse) is the mathematical backbone of the formula.

Integral values remain invariant under the coordinate change, and existence of one integral guarantees existence of the other.

The real challenge is selecting a transformation that makes the resulting integral easier, not computing the determinant.

Topics

Change of Variables Formula
Jacobian Determinant
C1 Diffeomorphism
Multidimensional Integration