The method of replacing the integration variable by a new variable via a substitution (often a diffeomorphism) and inserting the appropriate Jacobian (absolute value of the determinant of the derivative) to preserve the integral's value under the coordinate change.

Principle

Underlying principle: integrals are invariant under measure-preserving pushforward of variables; the chain rule and the change-of-variables (Jacobian) factor account for local stretching/compression of volume under the substitution map.

Demonstration

Classic example: converting a double integral from Cartesian to polar coordinates. The map (r,θ)↦(r cosθ, r sinθ) has Jacobian r, so ∫_Region f(x,y) dx dy = ∫_Image f(r cosθ,r sinθ) r dr dθ, which simplifies many radial integrals.

Misapplication

Omitting the Jacobian factor, applying a substitution that is not one-to-one on the integration domain without compensating for multiplicities, or failing to transform limits correctly leads to erroneous results.

Consequence

Correct change of variables simplifies computation, reveals symmetry, and connects integrals in different coordinate systems; it is essential in probability (distribution transforms), differential geometry (pullback/pushforward), and multi-variable analysis.

Reversal

The reverse view is pushing forward a measure: rather than pulling back integrands with a Jacobian one may view substitution as pushing the measure forward under the mapping; failing to distinguish these views can confuse orientation and multiplicity issues.

Boundary

Requires sufficient regularity of the substitution map (e.g., continuously differentiable bijection on domains or measurable mapping with well-defined Jacobian almost everywhere) and appropriate handling of boundaries, singularities, and orientation.

Semantic Tension

Tension between intuitive algebraic substitution taught in elementary calculus and the rigorous measure-theoretic formulation: the latter requires Jacobian determinants and careful handling of non-injective or non-smooth maps.

Synthesis

Change of variables replaces integration in one coordinate system by integration in another via the substitution map, with the Jacobian accounting for local volume distortion; when applied with correct regularity and multiplicity management it preserves integral values and simplifies analysis.