Is D'Inverno's Equation (11.38) Correctly Integrated?

  • Thread starter Thread starter TerryW
  • Start date Start date
TerryW
Gold Member
Messages
222
Reaction score
20
The attached file contains part of page 151 from D'Inverno's Introducing Einstein's Relativity. Beneath the shaded equation (11.38) he continues with 'Integrating the first two terms in (11.37) by parts, we get...' ...equation (11.39). This doesn't look right to me because the original equation has one term on the left hand side and three terms on the right hand side but in the resultant equation, two of the terms (the LG on the LHS and the LG barred on the RHS) have not been integrated. How can you get away with integrating only part of an equation??
 

Attachments

  • IMG.jpg
    IMG.jpg
    35.1 KB · Views: 445
Physics news on Phys.org
I've had another look at this and worked out what is going on.
Basically, integration by parts is not being used at all. He is using the differentiation of a product.
(gab\Gammaabc),c gives two terms and (gab\Gammacbc),a gives another two terms. A bit of index manipulation on two of the six terms in the two equations produces Qa,a and a bit more manipulation produces the LG and the L\bar{}G leaving two terms -gab,c\Gammacab + gab,b \Gammacac. These can then be organised into (11.39) as given.

Sorry about the Latex rendition. A couple of terms don't appear as they should but I can't see where the Latex is wrong!
 
TerryW said:
I've had another look at this and worked out what is going on.
Basically, integration by parts is not being used at all. He is using the differentiation of a product.
(gab\Gammaabc),c gives two terms and (gab\Gammacbc),a gives another two terms. A bit of index manipulation on two of the six terms in the two equations produces Qa,a and a bit more manipulation produces the LG and the L\bar{}G leaving two terms -gab,c\Gammacab + gab,b \Gammacac. These can then be organised into (11.39) as given.

Sorry about the Latex rendition. A couple of terms don't appear as they should but I can't see where the Latex is wrong!

You got it just right! I think D'inverno thought of "integration by parts" simply as separating terms into two parts. Indeed, he applies the Leibniz rule to the two first terms and then rearrange terms in such a way that (11.39) gets produced!

AB
 
I worked from d'Inverno and came across the same thing. I think if you revisit the regular integration by parts you will see that it is just the dervitative of a product but done in reverse.
 
Well, not quite! You have to take one term over to the other side of the equation to get the mantra "First times the integral of the second minus the integral of the differential of the first times the integral of the second" - I still remember that after 45 years!
 
I started reading a National Geographic article related to the Big Bang. It starts these statements: Gazing up at the stars at night, it’s easy to imagine that space goes on forever. But cosmologists know that the universe actually has limits. First, their best models indicate that space and time had a beginning, a subatomic point called a singularity. This point of intense heat and density rapidly ballooned outward. My first reaction was that this is a layman's approximation to...
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(...
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...
Back
Top