0
$\begingroup$

I have been studying Lie derivatives and some applications. While searching the web I found a refence with the following statement: For a general Riemannian manifold $M$, take a tangent vector field $k=k^\mu \partial _\mu$ and consider the infinitesimal coordinate transformation, $$ x^\mu \to x^\mu + \alpha k^\mu~, $$ where $|\alpha|<<1$. Then it is possible to find that the metric components $g_{\mu \nu}$ transform as $$ g_{\mu \nu} \to g_{\mu \nu} + \alpha(\partial_\mu k_\nu + \partial _\nu k_\mu + k^\sigma \partial _\sigma g_{\mu\nu} ) +O(\alpha^2)~. $$

Now, how does the author get this? Does the author just uses the usual transformation law for a (0,2) tensor? This does not seem to be the case since he finds so many terms, moreover I do not know the inverse transformation so I would't be able to apply it. Can somebody help me?

$\endgroup$
1
$\begingroup$

The metric being a rank $(0,2)$ tensor transforms under general coordinate transformations $x^\mu \to x'^\mu(x)$ as $$ g'_{\mu\nu} (x') = \frac{ \partial x^\rho}{ \partial x'^\mu } \frac{ \partial x^\sigma }{ \partial x'^\nu } g_{\rho\sigma} (x) $$

Now set $x'^\mu (x) = x^\mu + \alpha k^\mu(x)$ in the above expression and take a limit of small $\alpha$. You should then get $$ g'_{\mu\nu}(x) = g_{\mu\nu}(x) - \alpha ( g_{\mu\rho} \partial_\nu k^\rho + g_{\nu\rho} \partial_\mu k^\rho + k^\rho \partial_\rho g_{\mu\nu} ) + {\cal O} (\alpha^2) $$

The above is the correct version of the transformation. I believe you have gotten it wrong in the question (v1)

$\endgroup$
  • $\begingroup$ This must be a really stupid question but what do you mean substitute in the expression?Make a Taylor expansion? $\endgroup$ – PML Jan 29 '16 at 16:17
  • 1
    $\begingroup$ BTW, to be clear, the inverse transformation is $x^\mu = x'^\mu - a k^\mu + O(a^2)$. $\endgroup$ – Hans Moleman Jan 29 '16 at 16:20
  • $\begingroup$ @PML - I mean, substitute the expression for $x'^\mu$ that I've written down into the first equation and then do a Taylor expansion in $\alpha$. $\endgroup$ – Prahar Jan 29 '16 at 16:23

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.