Derivative of the metric tensor

Santiago
Messages
2
Reaction score
0
Could anybody help to spot the inconsistency in the following reasoning?

When calculating the normal derivative of the metric tensor I get:

\partial_\mu g^{\rho \sigma} = g^{\rho \lambda} g^{\sigma \gamma} \partial_\mu g_{\lambda \gamma} + 2 \partial_\mu g^{\rho \sigma}, (1)

which means that:

g^{\rho \lambda} g^{\sigma \gamma} \partial_\mu g_{\lambda \gamma} = -\partial_\mu g^{\rho \sigma}. (2)

And I don't see how this could be.

That's how I get this result:

<br /> \partial_\mu g^{\rho \sigma} = <br /> \partial_\mu (g^{\rho \lambda} g^{\sigma \gamma} g_{\lambda \gamma}) = <br /> g^{\rho \lambda} g^{\sigma \gamma} \partial_\mu g_{\lambda \gamma} + g^{\rho \lambda} g_{\lambda \gamma} \partial_\mu g^{\sigma \gamma} + g_{\lambda \gamma} g^{\sigma \gamma} \partial_\mu g^{\rho \lambda} = <br /> g^{\rho \lambda} g^{\sigma \gamma} \partial_\mu g_{\lambda \gamma} + \delta^\rho_\gamma \partial_\mu g^{\sigma \gamma} + \delta^\sigma_\lambda \partial_\mu g^{\rho \lambda} = <br />
<br /> = g^{\rho \lambda} g^{\sigma \gamma} \partial_\mu g_{\lambda \gamma} + 2 \partial_\mu g^{\rho \sigma}.<br /> (3)

Could anybody show how to get directly the right hand side of equation (2) from the left hand side, or show where the mistake in the equation (3) is?

Thanks a lot.
 
Physics news on Phys.org
Santiago said:
Could anybody help to spot the inconsistency in the following reasoning?

When calculating the normal derivative of the metric tensor I get:

\partial_\mu g^{\rho \sigma} = g^{\rho \lambda} g^{\sigma \gamma} \partial_\mu g_{\lambda \gamma} + 2 \partial_\mu g^{\rho \sigma}, (1)

which means that:

g^{\rho \lambda} g^{\sigma \gamma} \partial_\mu g_{\lambda \gamma} = -\partial_\mu g^{\rho \sigma}. (2)

And I don't see how this could be.

That's how I get this result:

<br /> \partial_\mu g^{\rho \sigma} = <br /> \partial_\mu (g^{\rho \lambda} g^{\sigma \gamma} g_{\lambda \gamma}) = <br /> g^{\rho \lambda} g^{\sigma \gamma} \partial_\mu g_{\lambda \gamma} + g^{\rho \lambda} g_{\lambda \gamma} \partial_\mu g^{\sigma \gamma} + g_{\lambda \gamma} g^{\sigma \gamma} \partial_\mu g^{\rho \lambda} = <br /> g^{\rho \lambda} g^{\sigma \gamma} \partial_\mu g_{\lambda \gamma} + \delta^\rho_\gamma \partial_\mu g^{\sigma \gamma} + \delta^\sigma_\lambda \partial_\mu g^{\rho \lambda} = <br />
<br /> = g^{\rho \lambda} g^{\sigma \gamma} \partial_\mu g_{\lambda \gamma} + 2 \partial_\mu g^{\rho \sigma}.<br /> (3)

Could anybody show how to get directly the right hand side of equation (2) from the left hand side, or show where the mistake in the equation (3) is?

Thanks a lot.

Unless I've misunderstood something terribly obvious, it's trivial to get what you want. We know that

\partial_cg^{ab} = g^{ad}g^{be}\partial_cg_{de} + 2\partial_cg^{ab}

Agreed? Now subtract 2\partial_cg^{ab} from both sides and you get

g^{ad}g^{be}\partial_cg_{de} = \partial_cg^{ab} - 2\partial_cg^{ab} = -\partial_cg^{ab}

which is what you're looking for.
 
Santiago said:
Could anybody help to spot the inconsistency in the following reasoning?

When calculating the normal derivative of the metric tensor I get:



g^{\rho \lambda} g^{\sigma \gamma} \partial_\mu g_{\lambda \gamma} = -\partial_\mu g^{\rho \sigma}. (2)

And I don't see how this could be.

g^{\mu \rho} g_{\nu \rho} = \delta^{\mu}_{\nu}

\partial \left( g^{\mu \rho} g_{\nu \mu} \right) = 0

thus

g^{\mu \rho} \partial g_{\nu \rho} = - g_{\nu \rho} \partial g^{\mu \rho}

now contract with g^{\nu \sigma}, you get your result.

\delta^{\sigma}_{\rho} \partial g^{\mu \rho} = - g^{\nu \sigma} g^{\mu \rho} \partial g_{\nu \rho}
 
Last edited:
Thank you shoehorn and samalkhaiat for your replies, it helped a lot. Especially samalkhaiat. That's what I needed.
 
In Philippe G. Ciarlet's book 'An introduction to differential geometry', He gives the integrability conditions of the differential equations like this: $$ \partial_{i} F_{lj}=L^p_{ij} F_{lp},\,\,\,F_{ij}(x_0)=F^0_{ij}. $$ The integrability conditions for the existence of a global solution ##F_{lj}## is: $$ R^i_{jkl}\equiv\partial_k L^i_{jl}-\partial_l L^i_{jk}+L^h_{jl} L^i_{hk}-L^h_{jk} L^i_{hl}=0 $$ Then from the equation: $$\nabla_b e_a= \Gamma^c_{ab} e_c$$ Using cartesian basis ## e_I...
Thread 'Dirac's integral for the energy-momentum of the gravitational field'
See Dirac's brief treatment of the energy-momentum pseudo-tensor in the attached picture. Dirac is presumably integrating eq. (31.2) over the 4D "hypercylinder" defined by ##T_1 \le x^0 \le T_2## and ##\mathbf{|x|} \le R##, where ##R## is sufficiently large to include all the matter-energy fields in the system. Then \begin{align} 0 &= \int_V \left[ ({t_\mu}^\nu + T_\mu^\nu)\sqrt{-g}\, \right]_{,\nu} d^4 x = \int_{\partial V} ({t_\mu}^\nu + T_\mu^\nu)\sqrt{-g} \, dS_\nu \nonumber\\ &= \left(...
Abstract The gravitational-wave signal GW250114 was observed by the two LIGO detectors with a network matched-filter signal-to-noise ratio of 80. The signal was emitted by the coalescence of two black holes with near-equal masses ## m_1=33.6_{-0.8}^{+1.2} M_{⊙} ## and ## m_2=32.2_{-1. 3}^{+0.8} M_{⊙}##, and small spins ##\chi_{1,2}\leq 0.26 ## (90% credibility) and negligible eccentricity ##e⁢\leq 0.03.## Postmerger data excluding the peak region are consistent with the dominant quadrupolar...
Back
Top