Integral change of variables formula confusion

Click For Summary
SUMMARY

The discussion centers on the confusion surrounding the change of variables formula in volume integrals, specifically in one dimension. The correct transformation is expressed as $$V(A)=\int_{A} dz= \int_{z^{-1}(A)} |z'(x)|dx$$, where $$dz = |z'(x)|dx$$. The error arises when attempting to equate $$\int_{A} dz$$ with $$\int_{A} |z'(x)|dx$$ without properly adjusting the limits of integration and recognizing the need for a diffeomorphic transformation. The integration domain must be consistently expressed in terms of the new variable.

PREREQUISITES
  • Understanding of volume integrals in calculus
  • Familiarity with the change of variables formula
  • Knowledge of differentiable functions and their properties
  • Concept of diffeomorphism in mathematical transformations
NEXT STEPS
  • Study the change of variables in multivariable calculus
  • Learn about the properties of differentiable functions and monotonicity
  • Explore the concept of diffeomorphism and its implications in integration
  • Review examples of integration by substitution for both single and multiple variables
USEFUL FOR

Mathematicians, physics students, and anyone involved in advanced calculus or analysis who seeks to clarify the intricacies of variable transformations in integrals.

SchroedingersLion
Messages
211
Reaction score
56
Greetings all.

I just got confused by the following.
Consider volume integral, for simplicity in 1D.
$$
V(A) = \int_{A} dz.
$$

If ##z## can be written as an invertible function of ##x##, i.e. ##z=f(x)##, we know the change of variables formula
$$
V(A)=\int_{A} dz= \int_{z^{-1}(A)} |z'(x)|dx.
$$

Intuitively, this is clear. What confused me now was the notion that the volume element transforms according to
$$
dz = |z'(x)|dx.
$$

If this equality holds, it should be allowed to write
$$
\int_{A} dz= \int_{A} |z'(x)|dx,
$$
which is obviously wrong. Why exactly is this not allowed?
 
Physics news on Phys.org
Are you wondering whether A or ##z^{-1}(A)## the domain of integration is ?
It would be A for ##\int dz ...## and ##z^{-1}(A)## for ##\int dx ...##.
 
Last edited:
SchroedingersLion said:
Greetings all.

I just got confused by the following.
Consider volume integral, for simplicity in 1D.
$$
V(A) = \int_{A} dz.
$$

If ##z## can be written as an invertible function of ##x##, i.e. ##z=f(x)##, we know the change of variables formula
$$
V(A)=\int_{A} dz= \int_{z^{-1}(A)} |z'(x)|dx.
$$

Intuitively, this is clear. What confused me now was the notion that the volume element transforms according to
$$
dz = |z'(x)|dx.
$$

If this equality holds, it should be allowed to write
$$
\int_{A} dz= \int_{A} |z'(x)|dx,
$$
which is obviously wrong. Why exactly is this not allowed?
Because written out, the integral reads ##\displaystyle{\int_{z=a}^{z=b}}dz##, and you cannot substitute the variable in one place and ignore the other places. Here is the multivariate version:
https://en.wikipedia.org/wiki/Integration_by_substitution#Substitution_for_multiple_variables
 
  • Like
Likes   Reactions: topsquark and SchroedingersLion
fresh_42 said:
Because written out, the integral reads ##\displaystyle{\int_{z=a}^{z=b}}dz##, and you cannot substitute the variable in one place and ignore the other places. Here is the multivariate version:
https://en.wikipedia.org/wiki/Integration_by_substitution#Substitution_for_multiple_variables
Thank you. Writing the integration domain explicitly in terms of the variable helps to clear my confusion. I need to replace everything ##z##-related with the corresponding ##x## expression, not just a part of the whole thing.
 
  • Like
Likes   Reactions: fresh_42
Of course you have to change the integration range to the new variables. You also must make sure that the transformation is a diffeomorphism over the entire range of integration. For a 1D integral over an interval the function must be monotonous and differentiable verywhere along the interval. Then
$$\int_a^b \mathrm{d} z f(z) = \int_{z^{-1}(a)}^{z^{-1}(b)} \mathrm{d} u \frac{\mathrm{d}}{\mathrm{d}u} z(u)f[z(u)].$$
 
  • Like
Likes   Reactions: topsquark, SchroedingersLion and fresh_42

Similar threads

  • · Replies 29 ·
Replies
29
Views
5K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 4 ·
Replies
4
Views
4K
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K