Integral on Riemannian manifold

1.8k Views Asked by At

$M$ is a Riemannian manifold ,and $g_{ij}$ is Remannian metric. Let $x=(x^1...x^d)$ $(i.e. x:U_x\rightarrow R^d)$ be a local coordinates ,and $v,w\in T_pM$ with coordinate representations $(v^1...v^d)$ and $(w^1...w^d)$$(i.e.v=v^i\frac{\partial}{\partial x^i},w=w^j\frac{\partial}{\partial x^j})$.

Let $y=f(x)$ $(i.e. y:U_y\rightarrow R^d)$ define different local coordinates.In these coordinates,$v$ and $w$ have representations $(\tilde{v}^1...\tilde{v}^d)$ and $(\tilde{w}^1...\tilde{w}^d)$. Let the metric in the new coordinates be given by $h_{kl}(y)$,then,we have: $$ h_{kl}(f(x))\frac{\partial f^k}{\partial x^i}\frac{\partial f^l}{\partial x^j}=g_{ij}(x) $$

Let $g=det(g_{ij}),h=det(h_{kl})$,and $\Phi$ is a function on $M$, $U=U_x\bigcap U_y$

Show that the integral of a function $\Phi$ on $M$ is invariant ,namely $$ \int _U \Phi(f(x))\sqrt{g(x)}dx^1...dx^d=\int _U\Phi(y)\sqrt{h(y)}dy^1...dy^d $$

1

There are 1 best solutions below

0
On BEST ANSWER

If $ \phi : {\bf R}^n \rightarrow M$ is coordinate, then $$ \int_{U:=\phi ({\bf R}^n) } \Phi (p)\ d {\rm Vol}_p := \int_{{\bf R}^n} \Phi (\phi(x)) \sqrt{{\rm det}\ g_{ij}} dx^1\cdots dx^n $$ where $$ g_{ij}:=g(d\phi e_i,d\phi e_j ) $$

If $ f : x\in {\bf R}^n\rightarrow y\in {\bf R}^n $ is a diffeomorphism, we have another coordinate $$ \phi\circ f^{-1} : {\bf R}^n\rightarrow M $$

That is by above definition we have $$ \int_{U} \Phi (p)\ d {\rm Vol}_p = \int_{{\bf R}^n} \Phi (\phi\circ f^{-1} (y) ) \sqrt{{\rm det}\ g_{\alpha\beta}} dy^1\cdots dy^n $$ where $$ g_{\alpha\beta}:= g(d(\phi\circ f^{-1}) e_\alpha,d(\phi\circ f^{-1} ) e_\beta ) $$

Here $$ f^\ast ( \Phi (\phi\circ f^{-1} (y) ) \sqrt{{\rm det}\ g_{\alpha\beta}} dy^1\cdots dy^n ) $$ $$= \Phi (\phi (x)) \sqrt{ {\rm det}\ (f^{-1})^k_\alpha (f^{-1})^l_\beta g_{kl} }\ {\rm det} f^\alpha_k\ dx^1\cdots dx^n $$ $$= \Phi (\phi (x)) \sqrt{ {\rm det}\ g_{kl} }\ dx^1\cdots dx^n$$

That is since two integrals are equal (cf. change of variables), the above definition is well defined.