Saturday, September 19, 2015

general relativity - Circumference of a circle in a co-rotating frame of reference


According to Einstein it should be greater than $2 \pi R$ for a co-rotating observer, i.e. $L' = \gamma L$ where $L = 2 \pi R$ in a non-rotating frame and $\gamma$ is the usual Lorentz factor, which would make the spatial geometry hyperbolic - from wikipedia:



Imagine a circle drawn about the origin in the x'y' plane of K' and a diameter of this circle. Imagine, further, that we have given a large number of rigid rods, all equal to each other. We suppose these laid in series along the periphery and the diameter of the circle, at rest relatively to K'. If U is the number of these rods along the periphery, D the number along the diameter, then, if K' does not rotate relatively to K, we shall have $U/D=\pi$. But if K' rotates we get a different result. Suppose that at a definite time t, of K we determine the ends of all the rods. With respect to K all the rods upon the periphery experience the Lorentz contraction, but the rods upon the diameter do not experience this contraction (along their lengths!). It therefore follows that $U/D>\pi$.




On the other hand, there's a nice explanation here on SE that I find intuitively appealing but it concludes the opposite: $L' = L/\gamma$.


So which shall it be?


Due to obvious reasons I put more weight on the first possibility, although I don't actually understand the reasoning, so if someone could describe it in a more detail it'd be great.


There's also this paper I've been looking at, which arrives at Einstein's result in a general relativistic framework, but I'd rather just stay at measuring rods and the like if it's possible...



Answer



You can get the result you want by looking at the "circumference" in different ways. In the circle's rest system, there is no ambiguity of circumference. It is the sum of length's of the rods laid out along the circle. This is the total length of black rods in the following picture:


Black rods are inertial, green rods are rotating


Now if you rotate very fast w.r.t. the circle, the rods will seem shorter. This is depicted by the green lines (they actually do not stay straight, but will bend a little, however for the sake of the argument, let's assume they stay nearly straight). The leftmost rod is placed where it was before. The next rod is directly adjacent to that, there no gap that suddenly appears, if you start to rotate. So the second rod is a little off w.r.t. its non-rotating counterpart (keep in mind, that this is just a "snapshot").


If you continue to lay down rods that way, you will run out of green rods before you complete the circle. The missing part is the dashed blue line.


Now you can say: "Well, completing a full circumference means to go around and counting rods. If you count eight rods, you completed the circle." By this argument, the circumference gets smaller, as in the linked SE post.



You could also say: "F**k the number of rods... I have plenty! I will lay down rods until I complete the circle." Then you would count how many rods are needed. Clearly more than before. So, you argue that the circumference has gotten longer. This is what happened in the wikipedia article.


You could say: "Well I want a very rigid definition of circumference! I will just do X and everyone will agree that it measures the circumference by any standard and unambiguously!" You would be wrong.


Rotating systems have a strange property: If you placed many clocks around the circumference of a rotating circle, you cannot synchronize all of them. You could start with one clock, synchronize it with the next and so on. Then, if you come back to your first clock you will see a time difference between the first and the last one, even though you set them all to the same time!


This is why I put the word "snapshot" in quotation marks. There is no "snapshot" of a rotating disk, because there is no way to define simultaneity along the whole circumference. And that is why you can define the circumference however the hell you like.


No comments:

Post a Comment

classical mechanics - Moment of a force about a given axis (Torque) - Scalar or vectorial?

I am studying Statics and saw that: The moment of a force about a given axis (or Torque) is defined by the equation: $M_X = (\vec r \times \...