Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Stupid question about page 70 in a first course in GR

  1. Mar 4, 2007 #1
    Ok thhe follwoing questio is extremely silly. everything else that I've read in the book makes sense but this part doesn't. i just can't seem to udnerstand it because of a combination of stupidity and notation. Near the end of page 69 an identity is derived to show how the components of the gradients transform. That made perfect sense. He then shows us the new notation for partial derivatives and suddenly jumps to showing us what the basis of the gradient one form is. This didn't really make sense to me. firstly could you expand the sumbol and shoe me exactly what it means? Secondly could you show me why that's the basis for the gradient one form? Please exaplain EVERY step. I just can't seem to understand it. The book assumes that you're moderately smart which I'm not.

    This is of course directed towards those who have the book. If you don't have it the part I don't get is on this page.

    http://www.mth.uct.ac.za/omei/gr/chap3/frame3.html

    I have absolutely no idea how we get from 23 to 24. what does dx^alpha mean?

    And please don't start barraging me with questions just because i'm in highschool. I really didn't like it. Yes I do know multivariable, i do know some linear algebra and I do know something about differential equations.

    THis is a first course in general relativity.
     
    Last edited: Mar 5, 2007
  2. jcsd
  3. Mar 4, 2007 #2

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    He doesn't get "from" 23 to 24. 23 is the basic metric, gij in flat space and 24 is general definition of "dot product": the dot product of (Ai) with (Bj) is [itex]\Sigma g_{ij}A^iB^j[/itex]
     
    Last edited by a moderator: Mar 4, 2007
  4. Mar 4, 2007 #3



    Oh no no! Ut's in the section on gradients.
     
  5. Mar 4, 2007 #4
    We didn't mean to irritate you with the questions. Its just that in order to explain something to someone one has to have a common language. In this case the common language is math. But if we don't have a subset of math in common the communication may be impossible. The questions were meant to find out where you were with the math so that we would know how to respond to your questions.


    Huh?? Since when is 23 a metric? That is very far from being a metric as I can see. Please elaborate.

    Pete
     
  6. Mar 4, 2007 #5
    I don't know about anyone else who posts on the internet but there is no serious question that is silly, never mind "extremely silly." That's how we learn.
    In cases such as this you really need to post the book you're refering to incase someone who has never read your other posts on this topic can make sense out of it. While I know you're refering to "A first course in general relativity," by Bernard F. Schutz, I doubt several other readers of this thread won't know what book you're refering to.
    Seems to me that you're a sharp kid so stupidity is not a factor here.
    Please state which equations you are speaking of in the derivation. Do you mean Eq. (3.16) to Eq. (3.17)?
    I don't understand where the difficulty is comming from. All he means is "When you see me write () I really mean this ()." Its simply shorthand notation.

    Eq. (3.19) gives you everything you need to know. Note the tripple parallel bars in that equation. They mean "is defined as". The equal sign is different. It means "is equal to". These have two very different meanings.
    Sure. Eq. (3.16) states the condition that d(phi) (d = gradient operator) must adhere to for d(phi) to be a one-form. This comes from Eq. (3.9) on page 63. If you take a look at Eq. (3.14) on page 67 you'll see that the partial derivatives behave like components of a 1-form. That is the reason for the expression between Eq. (3.16) and (3.17) on page 69. The equation which follows Eq. (3.17), i.e. x^beta = \Gamma ^beta _alpha-bar x^aplha-bar, defines \Gamma ^beta _alpha-bar. Take the partial derivative of each side of that equation with respect to x^alpha-bar and that gives you Eq. (3.18). It might just be fatigue now but I'm not sure how he gets his result Eq. (3.20) just by comparing to Eq. (3.12). I'm sure someone else can fill in the details.
    I'm sorry to destroy your self image but from our discussions it is clear to me that you're a sharp kid. Someone your age understanding that book to that point and all the math that is required to get there is far beyond what any highschooler knows. I used to tutor college students in the math lab when I was an undergrad. Even the kids who came from highschool with straight A's were pretty much lost when it came to college algebra. And here you are doing GR. To me that makes you pretty sharp.

    Pete
     
  7. Mar 4, 2007 #6
    He. funny thing is that I don't even get straight A's. They must be pretty dim. Or maybe i just stick to problems way longer. another possiblity is tha they nevr learnt math the right way. They had learnt it through memeorization.

    Exactly. I don't understand how he gets 3.20 by comparing it with 3.12. That's where i'm totally lost. I'm not even sure what the symbol means. Everything else is fairly straightforward.
     
  8. Mar 4, 2007 #7
    In high school I had a C average. When I got into college it was very very rare for me to get less than an A in my physics and math courses.
    I think that the work they did was easy for them in highschool so they weren't challanged. College calculus is very challenging.

    Pete
     
  9. Mar 5, 2007 #8
    there are other books out there that would probably make this more clear.


    in equation (20) the big alpha is just meant to be some transformation matrix, left to be determined.

    in going from (23) to (24), the author is showing that the mapping of a tangent vector in one manifold to another is given by a linear transformation - where the transformation is more precisely the jacobian given by the partial derivatives. this follows as a natural consequence of the chain rule and the definition of a differentiable manifold.

    however, since the dx's are not themselves tangent vectors, they are something else and are called one-forms or dual vectors. they have several useful and unique properties, some of which you will be aware of from calculus.
     
    Last edited: Mar 5, 2007
  10. Mar 5, 2007 #9
    Terilien,

    I am also a highschool student that's beginning to learn some GR. I guess my math background is pretty similar to yours (had multivariate, currently taking diffyq and linear algebra). Might I ask what book you're working from? How well is it working for you? I've been using Spacetime and Geometry: An Introduction to General Relativity, by Sean Carroll, and I think that the explanations are very well done. You might want to check it out some time.

    Also, have you been using any online resources? I found a really nice website with lots of lecture notes on tensors, but I accidentally bookmarked the wrong page. If I can find it again, I'll post it here.

    I hope everything's going well for you. Maybe we can help each other out with some of this stuff.
     
  11. Mar 5, 2007 #10
    I'm using a first course in general relativity. Unfortunately though my problem with this thing is really hindering my progress through the book. i've flipped through spacetime and geometry. It seemed good. How old are you? i'm 15.
     
  12. Mar 7, 2007 #11
    Seriosuly though, I must understand this. This is really getting in my way. first off why is the derivative x alpha with respect to x beta equal to the kornecker delta, or why is it defined as such?

    also how does he get to the conclusion that dx^aplha is the basis of the gradient one form, and can someone expand that term and show me EXACTLY what it means. If you know what it means it shouldn't be too hard to expand it. I myself am not sure.

    page 70 a first course in general relativity.
     
  13. Mar 7, 2007 #12

    cristo

    User Avatar
    Staff Emeritus
    Science Advisor

    Hey, sorry, I didn't realise you were still having troubles with this. Ok, to answer the first question, let's recall what [itex]x^{\alpha}_{,\beta}[/itex] actually is. He uses this to denote [tex]\frac{\partial x^{\alpha}}{\partial x^{\beta}}[/itex]. Now, what possible values of this can we have? Well, if both indices are the same, (say a=0=b), then this is equal to 1. However, if both indices are different (say a=1, b=0), then we have [tex]\frac{\partial x}{\partial t}=\frac{\partial}{\partial t} x=0[/tex]. And so, the value is 1 if the indices are the same, 0 if they are different-- this is the kronecker delta.
     
  14. Mar 7, 2007 #13
    but why are they equal zero? the kornecker delta gives me no more trouble. why does it equal zero when the indices are different? After all, aren't they related by the equation right before 3.18?

    The kornecker delat is very simple now and everything else in the chapter makes perfect sense. I have no idea why I can't get this particular thing.
     
  15. Mar 7, 2007 #14

    George Jones

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Are you asking why, for example,

    [tex]\frac{\partial x}{\partial t} = 0?[/tex]

    What is the definition of a partial derivative?

    No, 3.18 relates different sets of cooodinates, say {t, x, y, z} as the unbarred coordinates and {T, X, Y, Z} as the barred coodinates. These sets of coordinates aren't independent, they're functions of each other. For exaple,

    t = t(T, X, Y, Z).

    Consequently, [itex]\partial t / \partial X[/itex] is, in general, not equal to zero.

    The kornecker delat is very simple now and everything else in the chapter makes perfect sense. I have no idea why I can't get this particular thing.[/QUOTE]
     
  16. Mar 7, 2007 #15

    cristo

    User Avatar
    Staff Emeritus
    Science Advisor

    This just follows from the normal properties of partial derivatives.
    Look closely at this equation; the alphas have bars over them. This is because they are coordinates in a second intertial frame, and coordinates in the barred frame are functions of the coordinates in the unbarred frame. Thus, [tex]\frac{\partial x^{\bar{\alpha}}}{\partial x^{\beta}}[/tex] is not, in general, zero.
     
  17. Mar 7, 2007 #16
    so these partial derivatives are the partial derivative of two independent coordinates? Then how do we derive the basis from that?
    sorry man. Everything else in the book was fine when i understood the notation and all ,but this seems somehow different.
     
    Last edited: Mar 7, 2007
  18. Mar 7, 2007 #17

    George Jones

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Yes

    A basis for what?

    In any case, the elements of a basis are always independent.
     
  19. Mar 7, 2007 #18
    the basis of the gradient how do we derive it from that. and yes I know that the basis has to be independent. How do we derive the baiss by comparing that to 3.12?

    Please explain it. I can't wait to continue with this.
     
  20. Mar 7, 2007 #19

    cristo

    User Avatar
    Staff Emeritus
    Science Advisor

    Ok, I'll give my best attempt at trying to explain (3.20). So, we have [tex]\frac{\partial x^a}{\partial x^b}=\delta^a_b[/tex] and we are told to compare this to (3.12) which is [tex]\tilde{\omega}^a(\vec{e}_b)=\delta^a_b[/tex] Now, this gives us [tex]\tilde{\omega}^a(\vec{e}_b)=\frac{\partial x^a}{\partial x^b}[/tex]. Now, (3.15) gives us the general form for the gradient; expressing this in another way [tex] (\tilde{d}\phi)_i=\frac{\partial \phi}{\partial x^i}[/tex] where on the LHS I've abused notation a little-- it means simply the ith component of the gradient of phi. Now, [tex](\tilde{d}x^a)_b=\tilde{d}x^a\frac{\partial}{\partial x^b}=\frac{\partial x^a}{\partial x^b}=\delta^a_b[/tex]. Since [tex]\frac{\partial}{\partial x^i}[/tex] are the basis vectors, this gives us [tex]\tilde{\omega}^a\left(\frac{\partial}{\partial x^b}\right)=\tilde{d}x^a\frac{\partial}{\partial x^b}[/tex] from which we obtain [itex]\tilde{d}x^a\equiv \tilde{\omega}^a[/itex]

    Does this make any more sense?


    Edit: If this doesn't make any more sense (and that will probably be due to my bad explanations!) then I should stress that, whilst it is admirable to want to know this, it's not overly important. It would suffice to know that dx^a are basis one-forms, and d/dx^a are basis vectors. If, however, you are interested in the more mathematical foundations of the subject, then Schutz has written another book "Geometrical methods of mathematical physics" which goes into this in far greater detail, which you may be interested in studying.
     
    Last edited: Mar 7, 2007
  21. Mar 7, 2007 #20
    wait what does dx^a on it's own mean? That's all i need to know. thanks we're very close. also i thought that the gradient acted on a tanget vector to a curve, how do we know that the partials are the basis in that case? Aren't the partial derivatives just a basis for the directional derivative of some function on a manifold with respect to the parameter of a curve?

    Please exaplin. sorry but if I have the slightest doubts about something I can't use it.
     
    Last edited: Mar 7, 2007
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Stupid question about page 70 in a first course in GR
  1. Question about GR (Replies: 6)

Loading...