Hi Trout,
This one doesn't look too bad to me, unless I'm missing something. Let the pendulum swing through the origin of coordinates, so that the lowest point on its swing passes directly through the origin. Since the pendulum executes periodic motion, it is only necessary to consider time at which it passes through the origin on each swing. This will define two events with coordinates (x,y,z,ct) = (0,0,0,0) and (0,0,0,cT), corresponding to passages through the origin one period apart. Even though the pendulum is moving and accelerating, these two events contain all the information necessary to define the period of the pendulum in the earth frame. For the assumptions in the problem, T = sqrt(l/g).
Now in another frame, it is only necessary to transform the spacetime interval between these two events in order to find the new period. Let the second frame have velocity v relative to the earth, so that gamma = 1/sqrt(1-(v/c)^2). Then by the Lorentz transformation, (0,0,0,cT) transforms to gamma*(-vT,0,0,cT), so that in the new frame, the period is simply gamma*T, during which time the pendulum and the earth frame move a distance -gamma*vT relative to the second frame. That's all there is to the calculation.
The pendulum therefore appears to swing slower by a factor of gamma as seen from the second frame.
I think that's all there is to the problem. Am I missing something?
--Stuart Anderson
The problem with the above is that it leads to a paradox:
1. On one hand, you are absolutely correct, T'=gamma*T , where gamma=1/sqrt(1-(V/c)^2) and V is the relative speed between frames.
2. On the other hand, if we use the Newtonian expression for the period (T=sqrt(L/g)), then it would APPEAR that T'=T. (turns out that this is not correct, since g does not transform into g, accelerations transform differently in SR)
This is how the crank managed to (almost) stump the moderators on the other forum. As we've seen, T is NOT equal to sqrt(L/g) in SR, so we need to be able to solve the nasty differential equation that describes the pendulum motion in SR. I predict that the period will depend on something like a higher power of g.
Trout
2nd July 2008 - 09:58 PM
We can make some progress observing that:
d(gamma*v)/dt = -g/L*gamma*x (1)
becomes:
gamma^2*dv/dt=-g/L*x (2)
by observing that
d(gamma*v)/dt=gamma^3*dv/dt (3)
Now, taking the time derivative of (2) we get:
d(gamma^2*dv/dt)dt=-g/L*v (4)
This leads to:
d2v/dt2+2v/c^2*gamma^2(dv/dt)^2+g/L*gamma^(-2)*v=0 (5)
Now, we know that there is no closed solution to the above (we have seen that from the previous problem of moving a charged particle in an EM field). Nevertheless, if we assume v<<c (the pendulum should move at speeds much smaller than c, we can make the following approximation:
gamma^2=1+(v/c)^2
so we end up with:
d2v/dt2+2v/c^2(1+(v/c)^2)(dv/dt)^2+g/L*(1-(v/c)^2)*v=0 (6)
I need to check if the above has a closed solution. We know that v varies from 0 (the highest point of the pendulum) to v_max (at the lowest point) , so we should be looking for a periodic function as a solution.
Trout
3rd July 2008 - 02:33 AM
QUOTE (Trout+Jul 2 2008, 09:58 PM)
d2v/dt2+2v/c^2(1+(v/c)^2)(dv/dt)^2+g/L*(1-(v/c)^2)*v=0 (6)
I need to check if the above has a closed solution. We know that v varies from 0 (the highest point of the pendulum) to v_max (at the lowest point) , so we should be looking for a periodic function as a solution.
Continued:
turns out that I can reduce eq.6 to a first order ODE by using the substitution w(v)=(dv/dt)^2
Then d2v/dt2=d(sqrt(w)/dt=.5/sqrt(w)*dw/dt=.5/sqrt(w)*dw/dv*dv/dt=.5*dw/dv
So, the equation becomes:
dw/dv+2f(v)*w+2h(v)=0 (7)
where f(v)=2v/c^2*gamma^2 and h(v)=g/L*gamma^-2
We don't even need to use the approximation for gamma^2 anymore, we can use the exact formula.
Now, (7) is a first order ODE. We are in good shape. More tomorrow.
Trout
3rd July 2008 - 04:47 PM
QUOTE (Trout+Jul 3 2008, 02:33 AM)
Continued:
turns out that I can reduce eq.6 to a first order ODE by using the substitution w(v)=(dv/dt)^2
Then d2v/dt2=d(sqrt(w)/dt=.5/sqrt(w)*dw/dt=.5/sqrt(w)*dw/dv*dv/dt=.5*dw/dv
So, the equation becomes:
dw/dv+2f(v)*w+2h(v)=0 (7)
where f(v)=2v/c^2*gamma^2 and h(v)=g/L*gamma^-2
We don't even need to use the approximation for gamma^2 anymore, we can use the exact formula.
Now, (7) is a first order ODE. We are in good shape. More tomorrow.
The solution for (7) is:
w=exp(F)(C-2*Integral{exp(-F)h(v)dv}
where F=-2*Integral[f(v)dv]=4sqrt(1-(v/c)^2)
Unfortunately,
Integral{exp(-F)h(v)dv}=Integral{exp(-4*sqrt(1-(v/c)^2)*(1-(v/c)^2)dv}
does not have a closed form.
rpenner
3rd July 2008 - 07:05 PM
Sorry, but if T = √(l/g) and l -> l and T -> γT then what's wrong with g -> γ^(-2)g ?
At least this is my reasoning based on slowed down motion picture analysis.
Trout
3rd July 2008 - 07:12 PM
QUOTE (rpenner+Jul 3 2008, 07:05 PM)
Sorry, but if T = √(l/g) and l -> l and T -> γT then what's wrong with g -> γ^(-2)g ?
At least this is my reasoning based on slowed down motion picture analysis.
1. Because this is not how acceleration transverse to the direction of motion transforms in SR.
2. Because the formula g'=g*gamma^-2 appears ad-hoc
3. Because we need to work things from base principles. Can you help?
rpenner
3rd July 2008 - 07:58 PM
I disagree, at least in the limiting case of small motions.
Setting
four-acceleration equal to four-acceleration, we have:
\gamma_u^2\mathbf{a'} + \frac{\mathbf{a' \cdot u}}{c^2} \gamma_u^4\mathbf{u} = \mathbf{a}
γ^2
a' + (
a' · u / c²) γ^4
u =
a Thus, when we can neglect the down-component of the pendulum's motion, we have:
\gamma_u^2\mathbf{a'} = \mathbf{a}
γ^2
a' =
a or
\mathbf{a'} = \gamma_u^{-2} \mathbf{a}
a' = γ^(-2)
a Which is absolutely non-paradoxical as my above post should make clear.
Trout
3rd July 2008 - 09:43 PM
QUOTE (rpenner+Jul 3 2008, 07:58 PM)
I disagree, at least in the limiting case of small motions.
Setting
four-acceleration equal to four-acceleration, we have:
\gamma_u^2\mathbf{a'} + \frac{\mathbf{a' \cdot u}}{c^2} \gamma_u^4\mathbf{u} = \mathbf{a}
γ^2
a' + (
a' · u / c²) γ^4
u =
a Thus, when we can neglect the down-component of the pendulum's motion, we have:
\gamma_u^2\mathbf{a'} = \mathbf{a}
γ^2
a' =
a or
\mathbf{a'} = \gamma_u^{-2} \mathbf{a}
a' = γ^(-2)
a Which is absolutely non-paradoxical as my above post should make clear.
Precisely my point 2, what allows you to neglect the term (a' · u / c²) γ^4 u? The division by c^2?
Aside from this, I would still want to solve the equation of motion in SR. This seems to reduce to an ODE that has no closed form. Any thoughts?
rpenner
3rd July 2008 - 10:56 PM
The dot-product between the acceleration and the frame velocity means that you can neglect this term to the extent in which they are perpendicular.
If the pendulum is at rest, then u is perpendicular to a and a', and the result is exact.
If the pendulum is of length L, and under acceleration g, and in the small-angle approximation, sin θ << 1, where the period is T=2π√(L/g), then the speed, v, is small relative to √(2gL) which would be the maximum speed if the pendulum were executing the arc of a semi-circle. And so the second term is negligible when the speed of the observer is less than c - sin²θgL/2c, i.e. when the gamma related to the frame is less than 1/√(sin²θgL/c²). Which is to say there is no gamma so large that the small angle approximation doesn't save us, even for largish pendulums.
Trout
4th July 2008 - 12:27 AM
QUOTE (rpenner+Jul 3 2008, 10:56 PM)
The dot-product between the acceleration and the frame velocity means that you can neglect this term to the extent in which they are perpendicular.
If the pendulum is at rest, then
u is perpendicular to
a and
a', and the result is exact.
If the pendulum is of length L, and under acceleration g, and in the small-angle approximation, sin θ << 1, where the period is T=2π√(L/g), then the speed, v, is small relative to √(2gL) which would be the maximum speed if the pendulum were executing the arc of a semi-circle. And so the second term is negligible when the speed of the observer is less than c - sin²θgL/2c, i.e. when the gamma related to the frame is less than 1/√(sin²θgL/c²). Which is to say there is no gamma so large that the small angle approximation doesn't save us, even for largish pendulums.
OK, sounds like a good approximation.
I think that we can get an even better approximation by using the equations for 3-acceleration transformation:
a'_y=gamma^-2[(1+v_xV/c^2)^-2*a_y-v_yV/c^2(1+v_xV/c^2)^-3*a_x]
In the particular case we are talking about (tranforming g=g_y) a_x is exacly 0 so:
a'_y=gamma^-2*(1+v_xV/c^2)^-2*a_y (no approximation needed)
or, since a_y=g:
g'=gamma^-2*(1+v_xV/c^2)^-2*g
So, the only approximation that we need to do is , for small v_x (which is the case):
1+v_xV/c^2=1
Rpenner,
I would still like some help in solving the equation of the pendulum in SR. I arrived (again) to an ODE that seems not to have a closed solution. Actually, we don't need the solution, we only need to show that it is peridical and that the period depends linearly on gamma. Any ideas?
Trout
13th July 2008 - 05:33 AM
QUOTE (Trout+Jul 4 2008, 12:27 AM)
OK, sounds like a good approximation.
I think that we can get an even better approximation by using the equations for 3-acceleration transformation:
a'_y=gamma^-2[(1+v_xV/c^2)^-2*a_y-v_yV/c^2(1+v_xV/c^2)^-3*a_x]
In the particular case we are talking about (tranforming g=g_y) a_x is exacly 0 so:
a'_y=gamma^-2*(1+v_xV/c^2)^-2*a_y (no approximation needed)
or, since a_y=g:
g'=gamma^-2*(1+v_xV/c^2)^-2*g
So, the only approximation that we need to do is , for small v_x (which is the case):
1+v_xV/c^2=1
Rpenner,
I would still like some help in solving the equation of the pendulum in SR. I arrived (again) to an ODE that seems not to have a closed solution. Actually, we don't need the solution, we only need to show that it is peridical and that the period depends linearly on gamma. Any ideas?
OK, here is the deal with this problem:
Since m_0 *d^2x/dt^2=k (constant) is Galilei invariant but not
Lorentz invariant, we have to redefine the impulse in SR as p=
\gamma(v)*m_0*v instead of the Newtoniam m_0*v.
1. We can prove that in the proper frame of the object F :
d(\gamma(v)*v)/dt=\gamma(v)^3*dv/dt
2. We can also prove (after some computations) that , in a frame F'
moving with constant speed V wrt the frame F:
d(\gamma(v')*v')/dt'=\gamma(v')^3*dv'/dt'
3. We can further prove that
\gamma(v')^3*dv'/dt'=\gamma(v)^3*dv/dt=k/m_0
This means that by redefining the relativistic impulse as
\gamma(v)*m_0*v , the equations of motion under constant force (F=k)
are Lorentz invariant. So far, so good.
The situation when F is NOT constant is much more complicated and I know of no solution
Here are several examples:
1. F= - q*x (common spring)
2. F= -q *sin(theta) (common pendulum)
3. An even nastier case is the case of the torsion pendulum where we
need the relativistic equivalent for the Newtonian p=I*d(theta)/dt
where I is the momentum of inertia . It is not obvious what that
formula would be.
In these particular cases, the fact that the left term of the equation of motion
is invariant (i.e. \gamma(v')^3*dv'/dt'=\gamma(v)^3*dv/dt) is of no good,
since the right term is obviously not Lorentz invariant since neither
x, nor theta are Lorentz invariants.
Of course, Hooke law and the pendulum law are laws derived
empirically, so the obvious approach would be to redefine them in
such a fashion that they become Lorentz invariant. Did any of you see any
literature on this?
Good Elf
13th July 2008 - 07:21 AM
Hi Trout and rpenner,
QUOTE (Trout+)
The problem with the above is that it leads to a paradox:
1. On one hand, you are absolutely correct, T'=gamma*T , where gamma=1/sqrt(1-(V/c)^2) and V is the relative speed between frames.
2. On the other hand, if we use the Newtonian expression for the period (T=sqrt(L/g)), then it would APPEAR that T'=T. (turns out that this is not correct, since g does not transform into g, accelerations transform differently in SR)
This is how the crank managed to (almost) stump the moderators on the other forum. As we've seen, T is NOT equal to sqrt(L/g) in SR, so we need to be able to solve the nasty differential equation that describes the pendulum motion in SR. I predict that the period will depend on something like a higher power of g.
Trout's comments
Rpenner's first answer ( t' = gamma t ) is absolutely correct provided that the mass of the observer is small relative to the system and is in free fall. You do not transform the acceleration of the pendulum and "earth" system to the moving particle, it is in "free fall" so is currently "unaccelerated". In free fall the paths of all co-moving particles are "all" on straight line trajectories even in a gravity field(as measured from any other freely falling particle) when in close proximity to the pendulum origin (forget about possibly hitting the "earth object"). Trout is right about SR being applicable but he probably read that from the original source. A clock is a clock regardless of the state of motion.... A pendulum constitutes a clock in any man's language. This "relative" motion in SR does not affect the physics as observed in the other frame (or for that matter any other relatively moving frame). The event is the same and is "approximately" unaffected by any external motion of test particles (the other observers). The only difference in the frames is how it is viewed in relative motion. The "accelerated clocks" run slow when all optical effects are removed (... remember Trout?). Not the acceleration due to "gravity" but SR Twin's Paradox due to motion. There is "no paradox" if you choose the "accelerated" frame, less time elapses there relative to the "observed" pendulum frame. All measurements must be made "close" to the pendulum "observation" being made for this condition to hold. You must ignore optical effects (time delays due to proper motion and propagation times) to gain any real answers... that is timings must be made in the same frame.... That is for the Einstein condition for "synchronization" to apply.
These timings are actually only influenced by "time dilation" as noted by rpenner. You will not be able to make a valid observation over several periods of oscillation (if traveling near the speed of light) and a "local observation" is required and extrapolated for the full cycle. It does not matter for how long the moving frame is close to the pendulum since it has no influence on the physics and distant observations need correction for propagation times and optical effects of stellar aberration. In general this is "difficult" but it is not the main question. What you need to know is only the period of the pendulum.
In the rest frame of the pendulum... it motion is unaffected by any external "observers". Distant observations are "invalid" due to long distance changes in spacetime curvature resulting in significant optical time delays along paths. In the region around this pendulum a thousand particles traveling in different directions will all be executing approximately linear paths (relative to each other... check it out that is correct and it occurs even at low velocity) if all are in free fall even if velocities are different. In order to remove the effects of propagation delay you need to measure the systems in a rest frame relative to the two systems. Instantaneous rest frames may be "proposed" to solve the problem these could be placed at small incremental distances along the "moving frame's" linear path (assuming the only "non-moving frame" is the pendulum and the planet to simplify the problem). Arbitrarily "pick" the moving frames to be brought to a halt instantaneously and to "suffer" the time dilation relative to the "stay at home clock... pendulum thingy". An "intellectually satisfying" way to do this is to propose that this "pendulum" is indeed a "clock" and we observe the dial on that clock. We observe that dial a moment later at some "short" distance away and the difference in times is a dilated time difference which neglects the propagation times from the first position to the next position. A simultaneous measurement is made with the moving clock. The difference will be related to "gamma" when corrected for the propagation time of light to the new position.
Starting with the point of closest approach to the pendulum as t = 0. Clocks are synchronized at the start of the path s = 0 and synchronized again at the end of the path t = t1, s = s1. At the end of the path correction for time dilation is made to correct between frames v•t1 (since the pendulum is taken as being in a "stationary" frame for the sake of simplifying this problem conceptually) and for the propagation time for light... -s1/C is a correction for this displacement (deduct this from the time read on the dial when at position s1). The corrected period of time measured is related through gamma. Significance must be given to the relative signs of the motion. If you do not like that then think of the problem as "time reversed"... the answer for a pendulum will still be the same. It will always be the same "fraction" of the motion observed up close which depends only on the relative velocity and that displacement. Different relative velocities result in different gammas. The "period" becomes gamma•period. Every way you look at it... it is gamma•t. Optical phenomena do not count as relativistic time dilation.... end of story.
Anyway you said that this "almost" stumped the moderators... so you already know the answer. What is the point? If you think this is going to help us you better "spill the beans" now. You have my take on it so what is yours?
Cheers
Trout
13th July 2008 - 01:17 PM
QUOTE (Good Elf+Jul 13 2008, 07:21 AM)
Hi Trout and rpenner,
Rpenner's first answer ( t' = gamma t ) is absolutely correct provided that the mass of the observer is small relative to the system and is in free fall.
This is obvious but , as I explained, this is not the issue.
QUOTE
You do not transform the acceleration of the pendulum and "earth" system to the moving particle,
No one did that, so this is irrelevant.
QUOTE (->
| QUOTE |
You do not transform the acceleration of the pendulum and "earth" system to the moving particle, |
No one did that, so this is irrelevant.
Trout is right about SR being applicable but he probably read that from the original source.
What are you talking about?
QUOTE
A clock is a clock regardless of the state of motion.... A pendulum constitutes a clock in any man's language. This "relative" motion in SR does not affect the physics as observed in the other frame (or for that matter any other relatively moving frame).
Again, you are stating the obvious while you are completely missing the point of the thread.
QUOTE (->
| QUOTE |
A clock is a clock regardless of the state of motion.... A pendulum constitutes a clock in any man's language. This "relative" motion in SR does not affect the physics as observed in the other frame (or for that matter any other relatively moving frame). |
Again, you are stating the obvious while you are completely missing the point of the thread.
The event is the same and is "approximately" unaffected by any external motion of
test particles (the other observers).
<I had to snip the rest of your babbling>
Anyway you said that this "almost" stumped the moderators... so you already know the answer. What is the point? If you think this is going to help us you better "spill the beans" now. You have my take on it so what is yours?
Cheers
The moderators couldn't answer the poster's question. I f you took some time to really understand the posts, you'd have understood that.
No one could answer. At least I am trying to work out a mathematical solution.
And you posted again a very long and irrelevant answer to a question no one asked in the form of a story.
gabba gabba hey
13th July 2008 - 05:34 PM
QUOTE (mr_homm+Jul 1 2008, 12:27 AM)
Hi Trout,
This one doesn't look too bad to me, unless I'm missing something. Let the pendulum swing through the origin of coordinates, so that the lowest point on its swing passes directly through the origin. Since the pendulum executes periodic motion, it is only necessary to consider time at which it passes through the origin on each swing. This will define two events with coordinates (x,y,z,ct) = (0,0,0,0) and (0,0,0,cT), corresponding to passages through the origin one period apart. Even though the pendulum is moving and accelerating, these two events contain all the information necessary to define the period of the pendulum in the earth frame. For the assumptions in the problem, T = sqrt(l/g).
Now in another frame, it is only necessary to transform the spacetime interval between these two events in order to find the new period. Let the second frame have velocity v relative to the earth, so that gamma = 1/sqrt(1-(v/c)^2). Then by the Lorentz transformation, (0,0,0,cT) transforms to gamma*(-vT,0,0,cT), so that in the new frame, the period is simply gamma*T, during which time the pendulum and the earth frame move a distance -gamma*vT relative to the second frame. That's all there is to the calculation.
The pendulum therefore appears to swing slower by a factor of gamma as seen from the second frame.
I think that's all there is to the problem. Am I missing something?
--Stuart Anderson
This solution is absolutely correct (aside from a missing factor of 2Pi), and is probably the simplest way of solving this problem.
gabba gabba hey
13th July 2008 - 07:53 PM
QUOTE (Trout+Jul 4 2008, 12:27 AM)
OK, sounds like a good approximation.
I think that we can get an even better approximation by using the equations for 3-acceleration transformation:
a'_y=gamma^-2[(1+v_xV/c^2)^-2*a_y-v_yV/c^2(1+v_xV/c^2)^-3*a_x]
In the particular case we are talking about (tranforming g=g_y) a_x is exacly 0 so:
a'_y=gamma^-2*(1+v_xV/c^2)^-2*a_y (no approximation needed)
or, since a_y=g:
g'=gamma^-2*(1+v_xV/c^2)^-2*g
So, the only approximation that we need to do is , for small v_x (which is the case):
1+v_xV/c^2=1
Rpenner,
I would still like some help in solving the equation of the pendulum in SR. I arrived (again) to an ODE that seems not to have a closed solution. Actually, we don't need the solution, we only need to show that it is peridical and that the period depends linearly on gamma. Any ideas¿
I think in order to avoid confusion you first need to properly define your terms. I suggest you use v for the speed of the observer relative to the plane of the pendulum and u for the velocity of the mass at the end of the pendulum. Also (!), SR is easiest to work with in Cartesian coordinates and so I recommend you use them! In the ODE you came up with, you use x to represent the arc length which is not Cartesian! and so there is bound to be some confusion when computing the solution. Instead, I recommend you use (x,y,z) to represent the coordinates of the mass at the end of the pendulum and {i,j,k} to represent the corresponding unit vectors.
Here is my solution:
Let gravity point in the negative z-direction, with the pendulum hanging from the origin and swinging in the y-z plane. And let the observer be travelling in the positive x-direction with speed v. And let us denote the angle that the pendulum makes with the negative z-axis by θ.
(1) Compute the net force on the pendulum's mass in this moving frame:
F'_net= F'_gravity + F'-string= [-m'g'k] + [m'g'cos(θ')k-m'g'sin(θ')j]
= [-m'g'k] + [m'g'(-z'/L')k-m'g'(y'/L)'j]
= -m'g'[(y'/L')j + (1+(z'/L'))k]
Where the (')s denote that the corresponding value is computed in the moving frame.
Since the observer is travelling perpendicular to the plane of the pendulum, there will be no length contraction for the string and so L'=L.
Well known SR transformation laws tell us that m'=γm_0 and g'=β^-2 g where γ'=(1-u'^2/c^2)^-0.5 and β=(1-v^2/c^2)^-0.5
And so;
F'_net= -(γ'/β^2)m_0 g[(y'/L)j + (1+(z'/L))k]
(2) Apply Newton's second law to obtain the equation of motion:
F'_net=dp'/dt'=(d/dt')(γ' m_0 u')=m_0 [u'dγ'/dt' + γ'du'/dt']
Now, for small θ (and subsequently small θ') and small m_0, u_y and u_z (and u'_y and u'_z) are negligible compared with v (u'_x=v and u_x=0) and c. Therefore γ≈1 and γ'≈β and the time derivatives of both are negligible (A better approximation would result in an ODE that cannot be solved analytically, but if solved numerically would lead to the same result).
And so we have:
F'_net=dp'/dt'=(d/dt')(γ' m_0 u')=βm_0 du'/dt']
=βm_0[ du'_x/dt'i +du'_y/dt'j +du'_z/dt'k]
SR transformation laws for accelerations give du'_x/dt'=β^-3 (1-u_x v/c^2)^-3 du_x/dt= 0 since u_x=0 in the rest frame (frame at rest relative to the pendulum's anchor point)
=> F'_net=βm_0[ du'_y/dt'j +du'_z/dt'k]
=βm_0[ d^2y'/dt'^2j +d^2z'/dt'^2k]= -(γ'/β^2)m_0 g[(y'/L)j + (1+(z'/L))k]
Concentrating on the y'-component:
βm_0 d^2y'/dt'^2 = (γ'/β^2)m_0 g[(y'/L)=(1/β)m_0 g[(y'/L)
=> d^2y'/dt'^2 = (g/Lβ^2) y'
=> y'= y'_max cos[(Lβ^2/g)^0.5 t'] where y'=y'_max at t'=0
=> T' =2πβ (L/g)^0.5 which agrees with Mr. homm's solution
Trout
14th July 2008 - 03:59 AM
QUOTE (gabba gabba hey+Jul 13 2008, 07:53 PM)
Well known SR transformation laws tell us that ... g'=β^-2 g
You don't know that, I just showed you that this may be an acceptable
approximation.
Anyway, I am way past the point of showing that the period is frame-invariant, I am at the point at trying to find a covariant form of the different empiracal laws shown in my previous post. Thank you for the attempt, though.
QUOTE
F'_net=dp'/dt'=(d/dt')(γ' m_0 u')=βm_0 du'/dt'
The above is obviously incorrect since you left out the term dβ/dt'm_0 u'. (You gave a justification for this but it is not acceptable).
The reason is that β in p=βmu is a function of u. β=1/sqrt(1-(u/c)^2). I can see that you came up with a series of approximations in order to justify your point but this defeats the whole point, you are bringing the problem back in the classical domain u<<c. This is not interesting.
If you redo the computations correctly you end up with a much nastier ODE, the one I was asking help with. You say correctly that the resulting ODE has no symbolic solution, we already know that since it showed up in the EM problem that started this thread. Nevertheless, mr_homm and I defeated that problem (without resorting to hacks). I am asking for help in order to solve this new problem.
gabba gabba hey
14th July 2008 - 09:02 AM
QUOTE (Trout+Jul 14 2008, 03:59 AM)
You don't know that, I just showed you that this may be an acceptable
approximation.
Anyway, I am way past the point of showing that the period is frame-invariant, I am at the point at trying to find a covariant form of the different empiracal laws shown in my previous post. Thank you for the attempt, though.
The above is obviously incorrect since you left out the term dβ/dt'm_0 u'. (You gave a justification for this but it is not acceptable).
The reason is that β in p=βmu is a function of u. β=1/sqrt(1-(u/c)^2). I can see that you came up with a series of approximations in order to justify your point but this defeats the whole point, you are bringing the problem back in the classical domain u<<c. This is not interesting.
If you redo the computations correctly you end up with a much nastier ODE, the one I was asking help with. You say correctly that the resulting ODE has no symbolic solution, we already know that since it showed up in the EM problem that started this thread. Nevertheless, mr_homm and I defeated that problem (without resorting to hacks). I am asking for help in order to solve this new problem.
β is NOT a function of u! β is a function of v, which is constant and so dβ/dt'= dβ/dt = 0! The only approximation I used for my solution was that γ'=(1-u'^2/c^2)^-0.5 ≈(1-v^2/c^2)^-0.5=β. In most cases, this is a valid approximation since u'^2=(u'_x)^2 + (u'_y)^2 +(u'_z)^2 =v^2 + (u'_y)^2 +(u'_z)^2. When g is close to its value on earth and m_0 is significantly less than the mass of a star or black-hole, u_y and u_z are much smaller than v. Since the moving frame S' is in motion perpendicular to the plane of the pendulum, the transformation laws for u_y and u_z are simple: u'_y= β^-1 u_y and u'_z = β^-1 u_x, and therefore if u_x and u_y are much smaller than c, so are u'_y and u'_z. And so; u^2/c^2= v^2/c^2+(u'_y)^2/c^2+(u'_z)^2/c^2≈v^2/c^2 because vis presumably close to c and each of the other two terms are <<<<1.
Also, I do know that g'=β^-2g (!). This is not an approximation, it is exact (at least in this case where g is assumed to be constant)! To calculate it I used the following transformation law for accelerations for a body moving with velocity u in frame S and velocity u' in S' where S' is moving at speed v along the positive x-axis relative to S: d(u'_z)/dt'= β^-2 (1-u_x v/c^2)^-2 d(u_z)/dt - vu_z c^-2 β^-2 (1-u_x v/c^2)^-2 d(u_x)/dt. In order to use this transformation law to find g', we need only examine what happens to a particle in free-fall in S:
d(u_z)/dt= g and d(u_x)/dt=d(u_y)/dt=0 for a free-falling particle in S
:. g'=d(u'_z)/dt'= β^-2 (1-u_x v/c^2)^-2 *(g) - vu_z c^-2 β^-2 (1-u_x v/c^2)^-2 *(0)
= β^-2 (1-u_x v/c^2)^-2 *(g) = β^-2 (1-(0)*v/c^2)^-2 *(g)=β^-2 g
Now, if you want to examine the regime where u_y and u_z are not small compared to c, the approximation γ'≈β is of course no longer valid, however, neither is the original solution T=2π(l/g)^0.5 (!!!), for even in Frame S where u_x=0, you end up with an ugly ODE! T'=βT will still be correct but you will need to solve either the ODE that arises in S or the ODE that arises in S' to find T or T' I am sure you can find a few papers that deal with the solution to the ODE in S, but I suspect that all solutions are numerical and not analytical. If I get a chance later, I will try to find a paper on the relativistic pendulum and see if there are any analytical solutions.
Trout
14th July 2008 - 02:58 PM
QUOTE (gabba gabba hey+Jul 13 2008, 07:53 PM)
F'_net=d
p'/dt'=(d/dt')(γ' m_0
u')=m_0 [
u'dγ'/dt' + γ'd
u'/dt']
Correct
QUOTE
Now, for small θ (and subsequently small θ') and small m_0, u_y and u_z (and u'_y and u'_z) are negligible compared with v (u'_x=v and u_x=0) and c.
No, this is exactly what I called you on, the whole problem is that you can't assume u to be so small as to u_x=0. You are subconciously reducing the problem to its Newtonian limits.
QUOTE (->
| QUOTE |
| Now, for small θ (and subsequently small θ') and small m_0, u_y and u_z (and u'_y and u'_z) are negligible compared with v (u'_x=v and u_x=0) and c. |
No, this is exactly what I called you on, the whole problem is that you can't assume u to be so small as to u_x=0. You are subconciously reducing the problem to its Newtonian limits.
Therefore γ≈1 and γ'≈β and the time derivatives of both are negligible
No, again. Please look at the sample solution for the EM problem. You can't reduce the problem to γ≈1 and γ'≈β because in effect this reduces it to the Newtonian limit.
Once again, I got the solution to the point where there are no approximations, unfortunately the resulting ODE has no symbolic solution.
I am past this point, I ma looking for a covariant formulation of the pendulum law.
Trout
14th July 2008 - 03:04 PM
QUOTE (gabba gabba hey+Jul 14 2008, 09:02 AM)
Now, if you want to examine the regime where u_y and u_z are not small compared to c, the approximation γ'≈β is of course no longer valid, however, neither is the original solution T=2π(l/g)^0.5 (!!!), for even in Frame S where u_x=0, you end up with an ugly ODE! T'=βT will still be correct but you will need to solve either the ODE that arises in S or the ODE that arises in S' to find T or T' I am sure you can find a few papers that deal with the solution to the ODE in S, but I suspect that all solutions are numerical and not analytical. If I get a chance later, I will try to find a paper on the relativistic pendulum and see if there are any analytical solutions.
Thank you,
this is exactly what we are looking for.
More generally, a covariant reformulation of the pendulum law, Hooke law, torsion pendulum law (see my earlier post
here).
We cannot use the current formulations because they produce frame-variant results.
gabba gabba hey
14th July 2008 - 03:16 PM
QUOTE (Trout+Jul 14 2008, 03:04 PM)
Thank you,
this is exactly what we are looking for.
More generally, a covariant reformulation of the pendulum law, Hooke law, torsion pendulum law (see my earlier post
here).
We cannot use the current formulations because they produce frame-variant results.
Okay, I'll work on this a little later and see if I can find a solution for you. My effort will utilize the same notation as my previous posts, so I think we should try to clear up some obvious misunderstandings you have with my notation.....
Trout
14th July 2008 - 03:28 PM
QUOTE (gabba gabba hey+Jul 14 2008, 03:16 PM)
Okay, I'll work on this a little later and see if I can find a solution for you. My effort will utilize the same notation as my previous posts, so I think we should try to clear up some obvious misunderstandings you have with my notation.....
Thank you.
I don't think I have any misunderstanding with your notation, I think that you needed to understand the problem statement before you plunged into the approximations that reduce the problem to the Newtonian limit. Try to stay clear of u<<c and we''ll be on the same page. Don't get me wrong, I appreciate interacting with you, there are very few non-cranks, true physicists in this forum. You clearly know what you are doing.
As an aside,
here is the class of problem that got us started on this quest.
gabba gabba hey
14th July 2008 - 03:35 PM
QUOTE (Trout+Jul 14 2008, 02:58 PM)
Correct
No, this is exactly what I called you on, the whole problem is that you can't assume u to be so small as to u_x=0. You are subconciously reducing the problem to its Newtonian limits.
No, again. Please look at the sample solution for the EM problem. You can't reduce the problem to γ≈1 and γ'≈β because in effect this reduces it to the Newtonian limit.
Once again, I got the solution to the point where there are no approximations, unfortunately the resulting ODE has no symbolic solution.
I am past this point, I ma looking for a covariant formulation of the pendulum law.
These are the misunderstandings my last post referred to:
First, I am not ASSUMING u_x is small, I am DEFINING u_x to be zero! u_x is defined as the x-component of the velocity of the mass at in the end of the pendulum IN FRAME S. Where frame S is defined to be at rest relative to the anchor point of the pendulum. The pendulum swings in the y-z plane and so u_y and u_z are in general, non-zero. But! the pendulum is not moving inthe x-direction in this frame, and so u_x=0 by definition.
My, ODE however, was computed in the S' frame, which is moving at constant speed v along the positive(shared) x-axis (this is the frame of reference of the observer moving at speed v towards/away from the plane of the pendulum). For this reason, u'_x= -v , again by definition.
The only assumptions I made were regarding the y- and z-components of the velocity in each frame. For small theta, these velocity components are small (this is the newtonian limit) compared to c.
I will now work on the relativistic case, where u_y and u_z are NOT small relative to c. The solution for the period will still be frame variant according to T'=βT, but T and T' will likely be more complicated than the Newtonian solutions I calculated previously. This is as it should be though, because any time period computed in two inertial reference frames are in general, frame variant.
While I am working on the non-Newtonian solution, feel free to post any problems you might still have with my Newtonian solution.
gabba gabba hey
14th July 2008 - 03:53 PM
QUOTE (Trout+Jul 14 2008, 03:28 PM)
Thank you.
I don't think I have any misunderstanding with your notation, I think that you needed to understand the problem statement before you plunged into the approximations that reduce the problem to the Newtonian limit. Try to stay clear of u<<c and we''ll be on the same page. Don't get me wrong, I appreciate interacting with you, there are very few non-cranks, true physicists in this forum. You clearly know what you are doing.
As an aside,
here is the class of problem that got us started on this quest.
When I first tried downloading the E-M problem last week, it was no longer hosted on the website. Now that you have provided a working link, I see what the original question was. The solution you came up with is indeed analytical and a nice demonstration of how choosing the right reference frame can make a problem easier to solve. Well done to you and Mr.Homm on that one!
As, for the pendulum problem, I thought that you were simply looking for T' in the case where T is given by the Newtonian solution, now that We've cleared up that misunderstanding I can begin to answer the question you had intended....
gabba gabba hey
14th July 2008 - 04:14 PM
I found a numerical solution here:
relativistiic pendulumI don't think there is an analytical solution, but I will post my version of the ODE in a little while.
Trout
14th July 2008 - 05:41 PM
QUOTE (gabba gabba hey+Jul 14 2008, 04:14 PM)
I found a numerical solution here:
relativistiic pendulumI don't think there is an analytical solution, but I will post my version of the ODE in a little while.
This is a good paper. Look at his eq(9) . The left hand member for this type of problems is always \gamma(u)*du/dt.This is because they all start with d(\gamma*u)/dt. I have already shown that this expression is frame invariant. So far, so good.
Unfortunately, for all the examples I gave (Hooke, standard and torsion pendulum) the right hand side is NOT frame invariant. This means that we can't get covariant relativistic formulation of these empirical "laws" by starting from their Newtonian expression. So, the "program" of this thread has been finding a covariant relativistic formulation to replace the original Newtonian one.
In a sense, this is the same as the reformulation of the impulse as \gamma*m_0*v and the Lagrangian as -m_0c^2/gamma instead of -mv^2/2.
Thank you for your help, I truly appreciate your participation.
PhysOrg scientific forums are totally dedicated to science, physics, and technology. Besides topical forums such as nanotechnology, quantum physics, silicon and III-V technology, applied physics, materials, space and others, you can also join our news and publications discussions. We also provide an off-topic forum category. If you need specific help on a scientific problem or have a question related to physics or technology, visit the PhysOrg Forums. Here you’ll find experts from various fields online every day.
To quit out of "lo-fi" mode and return to the regular forums, please click
here.