Derivative of metric and log identity

Click For Summary

Discussion Overview

The discussion revolves around the identity involving the covariant derivative of the metric tensor and its relationship to the logarithm of the determinant of the metric. Participants explore the origins and implications of the identity, particularly in the context of general relativity and differential geometry.

Discussion Character

  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant presents the identity g^{ab}\nabla g_{ab}=\nabla ln|g| and seeks clarification on its origin and any associated terminology.
  • Another participant points out that the covariant derivative of the metric is zero in general relativity due to metric compatibility, suggesting the original formulation may be incorrect.
  • A participant proposes a corrected version of the identity, g^{\alpha \beta} \partial_\mu g_{\alpha \beta} = \partial_\mu \ln \left|g\right|, referencing specific pages in a textbook by Poisson.
  • Further contributions suggest that other texts, such as those by Carroll, may also contain relevant information, but specific references are not provided.
  • One participant suggests differentiating the matrix identity ln[(det.M)] = Tr[(ln M)] with M = g_{\mu \nu} as a method to derive the identity.
  • Another participant expresses confusion regarding the differentiation process and attempts to clarify the relationship between the determinant of the metric and its logarithm.
  • A later reply confirms understanding of the relationship between the trace of the derivative of the logarithm of the metric and the covariant derivative of the metric tensor.

Areas of Agreement / Disagreement

Participants express differing views on the validity of the original identity and its formulation. There is no consensus on the correct interpretation or derivation of the identity, as some participants challenge the initial claims while others propose corrections.

Contextual Notes

Limitations in the discussion include potential misunderstandings of the mathematical steps involved in deriving the identity and the dependence on specific definitions of the metric and its properties.

robousy
Messages
332
Reaction score
1
Has anyone seen this identity:

[tex]g^{ab}\nabla g_{ab}=\nabla ln|g|[/tex]

I've seen it used, but want to figure out where it comes from.

Does anyone know a name or have any ideas??
 
Physics news on Phys.org
You will have to show the exact formula. The way it's written, it doesn't make sense - covariant derivative of the metric is zero in GR because the connection is chosen 'metric compatible'.
 
ok, thanks, I'll check the paper when I get back to my office tomorrow and post.

Rich
 
robousy said:
Has anyone seen this identity:

[tex]g^{ab}\nabla g_{ab}=\nabla ln|g|[/tex]

I've seen it used, but want to figure out where it comes from.

Does anyone know a name or have any ideas??

I think you mean

[tex]g^{\alpha \beta} \partial_\mu g_{\alpha \beta} = \partial_\mu \ln \left|g\right|.[/tex]

See pages 12-13 of Poisson.
 
Thanks Greorge. I Don't have that book but I'll see if I can find someone with it. And thanks for pointing out the correction.
 
Lots of have books probably have this, but I won't be able to tell you any others until Monday.

Maybe Carroll.
 
robousy said:
Has anyone seen this identity:

[tex]g^{ab}\nabla g_{ab}=\nabla ln|g|[/tex]

I've seen it used, but want to figure out where it comes from.

Does anyone know a name or have any ideas??

Differentiate the matrix identity

ln[(det.M)] = Tr[(ln M)]

and put

[tex]M = g_{\mu \nu}[/tex]


regards

sam
 
I'm not seeing it Sam.

[tex]\partial_\mu ln|g^{ab}|=\partial_\mu ln[(det.g^{ab})]=\partial_\mu Tr[ln g^{ab} ] =<br /> \partial_\mu (ln g^{00}+lng^{11}+...)<br /> [/tex]
 
robousy said:
I'm not seeing it Sam.

[tex]\partial_\mu ln|g^{ab}|=\partial_\mu ln[(det.g^{ab})]=\partial_\mu Tr[ln g^{ab} ] =<br /> \partial_\mu (ln g^{00}+lng^{11}+...)<br /> [/tex]


[tex]\partial (ln |G|) = Tr ( \partial ln G) = (G^{-1} \partial G)^{\mu}_{\mu}[/tex]

thus

[tex]\partial (ln|g|) = g^{\mu\nu}\partial g_{\mu\nu}[/tex]
 
  • #10
robousy said:
Thanks Greorge. I Don't have that book but I'll see if I can find someone with it. And thanks for pointing out the correction.

http://books.google.com/books?id=v-Uw_uzbw7EC
search the book for: ln (natural log)
 
  • #11
samalkhaiat said:
robousy said:
[tex]\partial (ln |G|) = Tr ( \partial ln G) = (G^{-1} \partial G)^{\mu}_{\mu}[/tex]

thus

[tex]\partial (ln|g|) = g^{\mu\nu}\partial g_{\mu\nu}[/tex]

Great, got it! Thanks a bunch.
 

Similar threads

  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 6 ·
Replies
6
Views
7K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
16
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 19 ·
Replies
19
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
1K