Change of Variable vs. Change of Coordinates.

1.7k Views Asked by At

Are they the same thing?

So given an example, I could work out by change of coordinates, but how can I apply Change of Variable to replace this process?

Change of Variable in $\mathbb{R^k}$. Assume that $f: V \to U$ is a diffeomorphism of open sets in $\mathbb{R^k}$ and $a$ is an integrable function on $U$. Then $$\int_U a dx_1 \cdots dx_k = \int_V (a \circ f) |\det(df)|dy_1 \cdots dy_k.$$

So I will do $$\int_\Omega 1 dx \wedge dy,$$ where $\Omega$ is a two-manifold with boundary. And consider change of variable function $f(x,y) = (r \cos \theta, r \sin \theta).$ So $$dx = \cos \theta dr - r \sin \theta d \theta, dy = \sin \theta dr + r \cos \theta d\theta$$

Hence, $$\int_\Omega r dx \wedge dy = \int_\Omega 1 (\cos \theta dr - r \sin \theta d \theta) \wedge (\sin \theta dr + r \cos \theta d\theta) = \int_\Omega r dr \wedge d \theta.$$

I see the result of computation $r$ is $|\det(df)|$ in the formula. However, I don't really see where the composition $a \circ f$ happens. Should I see the process that bringing $dx \wedge dy$ to $dr \wedge d \theta$ as a result of the composition?

1

There are 1 best solutions below

9
On

It is hard to see composition when you have chosen $a=1$ so yes $a \circ f = 1$, but perhaps we could learn more by tweaking your example a bit. Consider, $\alpha = a(x,y) dx \wedge dy $ and calculate: $$ \alpha = a(x,y) dx \wedge dy = a(x,y) r dr \wedge d\theta$$ Very well, then to express this in polar coordinates we should replace $x$ and $y$ with their polar equivalents: $$ \alpha = a(r\cos(\theta),r\sin(\theta)) r dr \wedge d\theta $$ Integration of a form is coordinate invariant, either of the expressions will yield the same value. The difference in the calculation is that for the $x,y$-expression the definition of the integral just says to drop the wedge and perform a double integral over $\Omega$ since $\Omega$ maps to itself under the cartesian coordinate map (the identity). Whereas the subset $\Omega$ maps to some other domain with respect to the polar chart. For an easy example, if $\Omega = \{ (x,y) \ | \ x^2+y^2 \leq 1 \text{ and } \ $y>0$ \} $ then the $\Omega_{polar} = [0,1] \times [0,\pi] \in \mathbb{R}^2_{r\theta}$. Hence, $$ \int_{\Omega} \alpha = \int_{0}^\pi \int_0^1 a(r\cos(\theta),r\sin(\theta)) r dr\, d\theta = \int_{\Omega} a(x,y) dx \, dy $$

All of this said, the main difference between a change of variable and a change of coordinates is that if we change coordinates the coefficient of a differential form may well change sign. For example, $\gamma(x,y) = dx \wedge dy$ if we just re-order to $(y,x)$ then $\gamma(y,x) = -dy \wedge dx$ hence $1 \mapsto -1$. In contrast, if we swap the order of integration, which could be viewed as a change of variable of a very simple type, then the integral is unaltered: $$ \int_{\Omega} dx \, dy = \int_{\Omega} dy \, dx $$ The integral above is not a two-form integration, it is an area integral. When we change variables, we don't care about disorienting the variables, there is no orientation here. For this reason, the change of variables theorem has the absolute value on the Jacobian determinant. In contrast, when we change coordinates on a differential form, the absolute value is not present. Moreover, integrals of forms are taken over oriented spaces.

This is one of the reason it bothers me when texts omit the wedge for form integrals. It does not help clarify this issue. In any event, think about orientation, this is the difference.