Deriving Divergence Formula in General Relativity

Click For Summary

Discussion Overview

The discussion revolves around the derivation of the divergence formula for a vector in the context of general relativity, specifically addressing the steps involved in manipulating the covariant derivative and the determinant of the metric. Participants are exploring theoretical aspects and mathematical reasoning related to these derivations.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant expresses confusion over the derivation of the determinant of the metric and its derivative, specifically the equation $$g_{,μ} = g g^{αβ} g_{βα,μ}$$ and seeks clarification on how to arrive at this result.
  • Another participant suggests that dividing the equation for the determinant by $$g$$ leads to the expression $$Γ^α_{μα} = \frac {g_{,μ}} {2g}$$ but questions the transition to $$Γ^α_{μα} = \frac {(\sqrt {-g})_{,μ}} {\sqrt {-g}}$$ as presented in the book.
  • A later reply introduces a useful mathematical identity involving logarithmic differentiation, stating that $$\frac{f'}{f} = \frac{d}{dx} \ln f$$, which may aid in understanding the manipulation of these expressions.
  • Another participant proposes using the formula for the determinant involving the Levi-Cevita symbol as a potentially simpler approach to the problem.

Areas of Agreement / Disagreement

Participants do not appear to reach a consensus on the derivation steps, with multiple viewpoints and methods being discussed without resolution of the underlying confusion regarding the determinant and its derivatives.

Contextual Notes

Some participants express uncertainty about manipulating determinants and the mathematical steps involved in the derivation, indicating a reliance on specific definitions and methods that may not be universally understood.

Pencilvester
Messages
214
Reaction score
52
Hello PF,
I was reading through “A First Course in General Relativity” by Schutz and I got to the part where he derives the divergence formula for a vector:$$V^α { } _{;α} = \frac {1} {\sqrt{-g}} ( \sqrt{-g} V^α )_{,α}$$I’m having trouble with a couple of the steps he made. So we start with the standard covariant derivative formula:$$V^α { } _{;α} = V^α { } _{,α} + Γ^α_{μα} V^μ$$We use the formula for ##Γ## that uses the metric and its derivatives:$$Γ^α_{μα} = \frac {1} {2} g^{αβ} (g_{βα,μ} + g_{βμ,α} - g_{μα,β})$$then we rearrange to get$$Γ^α_{μα} = \frac {1} {2} g^{αβ} (g_{βμ,α} - g_{μα,β}) + \frac {1} {2} g^{αβ} g_{βα,μ}$$and we notice that ##\frac {1} {2} (g_{βμ,α} - g_{μα,β})## is antisymmetric on ##α## and ##β## and therefore contracting with ##g^{αβ}## (which is symmetric) gets you a 0. So we’re left with$$Γ^α_{μα} = \frac {1} {2} g^{αβ} g_{βα,μ}$$I can follow this so far just fine. This next part is where I start having issues. He tells me the derivative of the determinant of the metric (##g##) is this:$$g_{,μ} = g g^{αβ} g_{βα,μ}$$and I can’t for the life of me work this out on my own. It’s probably due to the fact that I have no experience manipulating determinants even algebraically, let alone taking their derivatives. I would assume you somehow use the Laplace expansion way of defining the determinant, but again, I have no experience manipulating the minor of a matrix. So my first question is how do you derive this?
Moving on, it looks to me that if we just divide the previous equation by ##g##, we can sub back into the equation for ##Γ## and get$$Γ^α_{μα} = \frac {g_{,μ}} {2g}$$but in the book, without any explanation, he gets$$Γ^α_{μα} = \frac {(\sqrt {-g})_{,μ}} {\sqrt {-g}}$$and again, I have no idea where this came from. The rest of it I can follow, but any help on either of my two issues here would be much appreciated. Thank you!
 
Physics news on Phys.org
Pencilvester said:
Moving on, it looks to me that if we just divide the previous equation by ##g##, we can sub back into the equation for ##Γ## and get$$Γ^α_{μα} = \frac {g_{,μ}} {2g}$$

Suppose ##f=f\left(x\right)##. It is very useful to write
$$\frac{f'}{f} = \frac{d}{dx} \ln f$$
Using this,
$$\begin{align}
\frac{f'}{2f} &= \frac{1}{2}\frac{d}{dx} \ln f \\
&= \frac{d}{dx} \ln \left( \sqrt{f} \right) \\
&= \frac{\frac{d}{dx} \sqrt{f}}{\sqrt{f}}
\end{align}$$
 
  • Like
Likes   Reactions: Pencilvester and jedishrfu

Similar threads

  • · Replies 5 ·
Replies
5
Views
5K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 25 ·
Replies
25
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K