Differential geometry question

Click For Summary
SUMMARY

The discussion focuses on demonstrating the identity J^{\alpha}{ }_{;\alpha}={1\over{\sqrt{-g}}}\partial_\alpha(\sqrt{-g}J^\alpha) in the context of differential geometry. Key equations include the Christoffel symbol definition, \Gamma^\gamma{}_{\alpha\beta}={1\over 2}g^{\gamma\delta}(g_{\delta\alpha,\beta}+g_{\delta\beta,\alpha}-g_{\alpha\beta,\delta}), and the derivative of the determinant, \partial_\alpha\sqrt{-g}=-{1\over 2}\sqrt{-g}g^{\mu\nu}g_{\mu\nu,\alpha}. The user successfully manipulates these equations to arrive at the desired result after some iterative calculations.

PREREQUISITES
  • Understanding of differential geometry concepts, specifically covariant derivatives.
  • Familiarity with the properties of the metric tensor and its determinant, denoted as g.
  • Knowledge of Christoffel symbols and their role in curved space.
  • Proficiency in tensor calculus and manipulation of tensor equations.
NEXT STEPS
  • Study the derivation of the covariant derivative in detail, focusing on J^{\alpha}{ }_{;\alpha}.
  • Learn about the implications of the determinant of the metric tensor in general relativity.
  • Explore advanced topics in tensor calculus, including the use of Christoffel symbols in various contexts.
  • Investigate applications of differential geometry in physics, particularly in general relativity.
USEFUL FOR

Students and researchers in mathematics and physics, particularly those specializing in differential geometry and general relativity, will benefit from this discussion.

Pacopag
Messages
193
Reaction score
4

Homework Statement


Can some one please explain to me how to show that
[tex]J^{\alpha}{ }_{;\alpha}={1\over{\sqrt{-g}}}\partial_\alpha(\sqrt{-g}J^\alpha)[/tex]

Homework Equations


[tex]\Gamma^\gamma{}_{\alpha\beta}={1\over 2}g^{\gamma\delta}(g_{\delta\alpha,\beta}+g_{\delta\beta,\alpha}-g_{\alpha\beta,\delta})[/tex]
and
[tex]\partial_\alpha\sqrt{-g}=-{1\over 2}\sqrt{-g}g^{\mu\nu}g_{\mu\nu,\alpha}[/tex] (I think this is correct).

The Attempt at a Solution


Here's what I've tried
[tex]J^{\alpha}{ }_{;\alpha}=g^{\alpha\beta}J_{\beta;\alpha}[/tex]
[tex]=g^{\alpha\beta}(J_{\beta,\alpha}-J_\gamma\Gamma^\gamma{}_{\alpha\beta})[/tex]
[tex]=g^{\alpha\beta}(J_{\beta,\alpha}-{1\over 2}J_\gamma g^{\gamma\delta}(g_{\delta\alpha,\beta}+g_{\delta\beta,\alpha}-g_{\alpha\beta,\gamma})).[/tex]
Now turning to the other side
[tex]{1\over{\sqrt{-g}}}\partial_\alpha(\sqrt{-g}J^{\alpha})[/tex]
[tex]={1\over{\sqrt{-g}}}(J^\alpha\partial_\alpha\sqrt{-g}+\sqrt{-g}\partial_\alpha J^\alpha)[/tex]
[tex]={1\over{\sqrt{-g}}}(-{1\over 2}\sqrt{-g}g^{\mu\nu}g_{\mu\nu,\alpha}J^\alpha+\sqrt{-g}J^\alpha{}_{,\alpha})[/tex]
Then cancel the sqrt(-g). But here I'm stuck.
 
Last edited:
Physics news on Phys.org
Never mind. I got it. Just had to turn the crank a little. Cheers.
 

Similar threads

Replies
0
Views
2K
Replies
12
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 49 ·
2
Replies
49
Views
4K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K