Proving Total Covariant/Total Partial Derivative EFE Derivation

Click For Summary

Discussion Overview

The discussion revolves around proving the equality involving the covariant derivative of a vector field and the determinant of the metric tensor, specifically the expression ##\sqrt{-g}\bigtriangledown_{\mu}v^{\mu}=\partial_{\mu}(\sqrt{-g}v^{\mu})##. Participants are exploring the mathematical identities and steps required to understand the transition between different forms of the equation, focusing on the implications of the connection terms and the determinant's derivative.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant expresses confusion about the transition from the connection term to a logarithmic term in the equation, seeking identities or references to clarify this step.
  • Another participant suggests generalizing the derivative of the determinant expression to ##\partial_\alpha## and mentions Jacobi's formula as potentially helpful.
  • A third participant confirms the use of Jacobi's formula to derive the last identity mentioned in the original post, indicating a connection to the second equality.
  • Concerns are raised about a possible unmatched parenthesis in the main equation, indicating a need for careful review of the expressions involved.
  • Participants discuss the importance of precise references to textbooks or specific equations to facilitate clearer communication and understanding.

Areas of Agreement / Disagreement

Participants are generally engaged in clarifying the mathematical steps involved, but there is no consensus on the specific identities or methods to resolve the confusion regarding the connection term and its relation to the logarithmic expression. The discussion remains unresolved with multiple viewpoints and uncertainties present.

Contextual Notes

Participants note the need for careful attention to mathematical expressions and identities, particularly regarding the derivative of the determinant and the properties of the connection. There are references to specific mathematical tools like Jacobi's formula, but the application and implications of these tools are not fully settled.

binbagsss
Messages
1,291
Reaction score
12
I'm trying to prove that ##\sqrt{-g}\bigtriangledown_{\mu}v^{\mu}=\partial_{\mu}(\sqrt{-g}v^{\mu}) ##

So i have ##\sqrt{-g}\bigtriangledown_{\mu}v^{\mu}=\sqrt{-g}(\partial_{\mu}v^{mu}+\Gamma^{\mu}_{\mu \alpha}v^{\alpha}) ## by just expanding out the definition of the covariant derivative.

Question

My text next makes the equality :
##\sqrt{-g}(\partial_{\mu}v^{mu}+\Gamma^{\mu}_{\mu \alpha}v^{\alpha}=\sqrt{-g}(\partial_{\mu}v^{mu}+(\partial_{\alpha} ln \sqrt{-g})v^{\alpha}\sqrt{-g}=\partial_{\mu}(v^{\mu}\sqrt{-g}##

I don't understand the last 2 equalities.

Particularity the second to last. I have no idea how you go from the connection term to the ##ln## term, if anyone could provide the identities I need or link me somewhere useful (had a google but couldn't find anything)

I think the last equality has used the product rule.
I'm unsure, if this is correct, of differentiating the ##\sqrt{-g}## to go from the last equality to the second from last, the identities I know that might be of use are:

##Tr (ln M) = In (det M)##
##\partial \sqrt{-g}=\frac{-1}{2}\sqrt{-g}g_{\mu \nu}g^{\nu \mu} ##

Thanks in advance.
 
Physics news on Phys.org
binbagsss said:
##\partial \sqrt{-g}=\frac{-1}{2}\sqrt{-g}g_{\mu \nu}g^{\nu \mu} ##
You need to generalize that last one to ##\partial_\alpha##.

The details of Jacobi's formula for the derivative of the determinant might be helpful.
 
strangerep said:
You need to generalize that last one to ##\partial_\alpha##.

The details of Jacobi's formula for the derivative of the determinant might be helpful.

I've used this to attain the last identity given in the OP.
This is for the 2nd to 3rd equality right?
I'm still really unsure what to do, could anybody give me a hint?

Also any identites for the 1st and 2nd equality? I've never seen anything like the connection being expressed as something like that.
Thanks.
 
There seems to be an unmatched parenthesis in your main equation in post #1.

For the step from 1st to 2nd expressions, study more carefully the meaning of "adjugate" that was mentioned in the Wiki entry on Jacobi's formula. Also, the relationships among "adjugate", "cofactor" and "inverse".

BTW, help sometimes arrives faster if one makes the effort to include a precise reference in one's OP, i.e., which textbook, and which equation or page number therein.
 
Last edited:

Similar threads

  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 38 ·
2
Replies
38
Views
3K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 50 ·
2
Replies
50
Views
4K
  • · Replies 62 ·
3
Replies
62
Views
7K
  • · Replies 10 ·
Replies
10
Views
2K