Question on Effective Potential

In summary, the conversation is about the difficulty of drawing a plot of effective potential [Vr] against radius [r] for stable and quasi-stable orbits in general relativity. The wikipedia page on the Kepler problem in general relativity is referenced, which includes relevant equations and a link to a helpful website. The conversation also touches on the assumptions made about angular momentum in classical and relativistic physics and how these assumptions affect the equations for effective potential. The person is still looking for clarification on the equations and how they produce the commonly presented effective potential curve.
  • #36
1effect said:
Of course not, it is not necessary.



..because the wiki page is most likely wrong.
I thought that the fix was very obvious: in your incorrect derivation, replace the early mistake [tex]\frac{E^2}{m^2c^2}-c^2=c^2[/tex] or the later,subtler mistake [tex]\frac{E^2}{m^2c^2}-c^2=0[/tex] with [tex]\frac{E^2}{m^2c^2}-c^2=c^2(\gamma^2-1)[/tex] in the equation for the potential. :-)

If we do as you suggest we end up with an equation for effective gravitational potential that does not agree with the Wiki solution or the fourmilab solution or the MTW solution. I guess they all must be wrong.
 
Physics news on Phys.org
  • #37
kev said:
If we do as you suggest we end up with an equation for effective gravitational potential that does not agree with the Wiki solution or the fourmilab solution or the MTW solution. I guess they all must be wrong.

I guess :-) You only need to know what is E , last I checked it was still [tex]\gamma mc^2[/tex] :-)
Don't feel bad, all the formulas you cited are still good for [tex]v<<c[/tex] , not so good at relativistic speeds :-)
 
Last edited:
  • #38
Jorrie posted this version of the equation for effective potential from MTW:


[tex]V_{eff} = c^2\sqrt{(1-2GM/r)(1+L^2/(r^2c^2))}[/tex]

If we assume he made a typo and meant


[tex]V_{eff} = c\sqrt{(1-2GM/r)(1+L^2/(r^2c^2))}[/tex]

then the MTW solution is in agreement with the fourmilab solution
 
  • #39
1effect said:
I guess :-) You only need to know what is E , last I checked it was still [tex]\gamma mc^2[/tex] :-)
Don't feel bad, all the formulas you cited are still good for [tex]v<<c[/tex] , not so good at relativistic speeds :-)

I look forward to the 1effect solution ;)
 
  • #40
kev said:
Jorrie posted this version of the equation for effective potential from MTW:[tex]V_{eff} = c^2\sqrt{(1-2GM/r)(1+L^2/(r^2c^2))}[/tex]

If we assume he made a typo and meant [tex]V_{eff} = c\sqrt{(1-2GM/r)(1+L^2/(r^2c^2))}[/tex]

then the MTW solution is in agreement with the fourmilab solution
...but in disagreement with your solution as well as with the wiki solution. Try calculating [tex]V_{eff}^2[/tex].
Doesn't change anything about your mistakes, your derivation is still wrong :-)
 
Last edited:
  • #41
1effect said:
...but in disagreement with your solution as well as with the wiki solution. Try calculating [tex]V_{eff}^2[/tex].
Doesn't change anything about your mistakes, your derivation is still wrong :-)

My derivation might well be wrong. It is based on other people's equations for motion and I have assumed Potential Energy and Kinetic Energy is related as per the virial theorum but I can not be sure that theorem applies here. I am trying to find out what that relationship is in GR for a falling/orbiting particle. As I said, I would welcome any alternative derivations that are clearly stated. You are also right that the different sources do not agree with each other, so hopefully some of the more experienced members of PF can shed some light on the situation.
 
Last edited:
  • #42
kev said:
This is how I figure fourmilab got their solution for effective gravitational potential:

...
Assuming the virial theorem relationship for potential energy and kinetic energy PE = -2.KE then
...

I think this is a weak field approximation only and does not hold for relativistic energies.

kev said:
Assuming the gravitational potential (V) is simply PE/m then:
...
This is not the definition of effective potential, so I think your derivation may be flawed on two counts. According to MTW, effective potential is the total orbital energy (potential and kinetic) at the points of the orbit where dr/dt = 0 (peri- and apoapsis for closed orbits). MTW gives it in standard energy form and Fourmilab in energy squared form, hence the difference in appearance.

From MTW, using geometric units and working per unit orbiting mass, we have the normalized total orbital energy for dr/dt=0:

[tex] E = \frac{1-2M/r}{\sqrt{1-2M/r-r^2d\phi^2/dt^2}}[/tex]

and

[tex]L = \frac{r^2 d\phi}{dt\sqrt{1-2M/r-r^2d\phi^2/dt^2}}[/tex]

(Note: equation edited to correct erroneous r to r^2 above the line)

These two can be solved by eliminating [itex]r d\phi/dt[/itex] to give the (MTW) effective potential (energy) as:

[tex]V_{eff} = \sqrt{(1-2M/r)(1+L^2/r^2)}[/tex]

equivalent to the Fourmilab result, which is just the value squared.
 
Last edited:
  • #43
kev said:
Jorrie posted this version of the equation for effective potential from MTW:


[tex]V_{eff} = c^2\sqrt{(1-2GM/r)(1+L^2/(r^2c^2))}[/tex]

If we assume he made a typo and meant


[tex]V_{eff} = c\sqrt{(1-2GM/r)(1+L^2/(r^2c^2))}[/tex]

then the MTW solution is in agreement with the fourmilab solution

I understand MTW's V_eff as energy per unit orbiting mass, so the c^2 is required if you want it in SI units of joules/kg.

The fourmilab solution in SI units must then be in (joules/kg)^2, not so?
 
  • #44
Part 1 of 2

There has been a lot of activity since I last looked at this thread last night (my time). I don’t have much time today, so apologises upfront if I have misinterpreted any statement of position, but wanted to try to comment on the exchanges that have taken place.

1. kev: pointed out that the value I was using (4.08E12) in my spreadsheet seem to produce a max/min curve if doubled. I also cross-referenced this with Jorrie statement that [L] should be greater that 3.4642GM/c. You're both right, I needed to use a minimum value of 6.08E12. However, this only seems to produce the quasi-stable maximum, which then tails off without a definitive minimum. However, I was rushing and may have made a mistake.

2. Also tried to quickly use Jorrie’s equation:

[tex]V_{eff} = c^2\sqrt{(1-2GM/r)(1+L^2/(r^2c^2))}[/tex]

Again, didn’t get the result expected, but I need to spend some time tidying up and checking my spreadsheet. So I will assume I have made a mistake.

However, I would also like to see if we could standardise towards some set of terms that then leads to a consistent and agreed derivation of effective potential, e.g.

Effective Potential (Veff)
Total Energy (Et); Kinetic Energy (Ek); Potential Energy (Ep)
Radial velocity ( [tex] v_r = dr/d\tau [/tex])
Orbital velocity ( [tex] v_o = \omega*r [/tex])
Angular velocity [tex] [\omega] = d\phi/d\tau = v_o/r = mv_or/mr = L/mr[/tex])
Angular Momentum [L] = [tex] mv_or [/tex] Only valid for circular orbits


I believe that there is some value in stepping back and looking at the derivation of effective potential in a purely classical form. I have several sources, which appear unambiguous and lead directly to the classical minimum Veff curve associated with the appropriate value of angular momentum [L] required to balance the orbit at a given radius [r]:

Et = Ek – Ep

[tex] Et = 1/2mv^2 + (-GMm/r) [/tex]

[tex]Et = 1/2m\left( v_r^2 + v_o^2\right)-GMm/r [/tex]

Based on the assumptions above:

[tex]Et = 1/2m\left( \frac{L^2}{(mr)^2}\right)-\frac{GMm}{r} = \frac{L^2}{2mr^2}-\frac{GMm}{r} [/tex]

We might wish to normalise to unit mass, just to cross-reference standard text:

[tex]\frac{Et}{m} = \frac{(L/m)^2}{2r^2}-\frac{GM}{r} [/tex]

However, from a classical perspective:

[tex]Et = 1/2m\left(\frac{dr}{dt}^2\right)-Veff [/tex]

[tex] Veff = \frac{L^2}{2mr^2}-\frac{GMm}{r} [/tex]

[tex] \frac {Veff}{m} = \frac{(L/m)^2}{2r^2}-\frac{GM}{r} [/tex]

End of Part-1: See Part-2
 
  • #45
Part 2 of 2:

Sorry about splitting the reply, but the preview kept blowing up. Presumably the size was too big. Anyway, continuing...


From the outset, it was noted that the previous equations corresponds with the form in the Wikipedia reference, albeit with an additional relativistic term:

[tex]Vr = \frac{L^2}{2mr^2} -\frac{GMm}{r} - \frac{GML^2}{c^2mr^3} [/tex]

In an earlier posting I did a derivation from the Schwarzschild metric, which led to the following form. Note, the equation has been multiplied by m/2 to be consistent with the definition of kinetic energy [tex]Ek = 1/2mv^2[/tex]

[tex] 1/2m\left( \frac{dr}{d\tau} \right)^{2} = 1/2mc^2\left(1-\frac{Rs}{r}\right)^2 \left(\frac{dt}{d\tau}\right)^2-1/2m\left(1-\frac{Rs}{r}\right) \left(\frac{L^2}{m^2r^2} + c^2 \right) [/tex]

I argued that because we were only considering circular orbits, [tex]dr/d\tau[/tex] could be set to zero. However, kev has raised the issue as to whether this is valid for the orbital radii under consideration. Any thoughts on this point? However, if we proceed with this assumption, we get:

[tex] \frac{mc^2}{2}\left(1-\frac{Rs}{r}\right)^2 \left(\frac{dt}{d\tau}\right)^2 = \left(1-\frac{Rs}{r}\right) \left(\frac{L^2}{2mr^2} + \frac{mc^2}{2} \right) [/tex]

As far as I can see, this is the root of the form:

[tex] \left(1-\frac{Rs}{r}\right) \left(1 + \frac{L^2}{r^2}\right) [/tex]

Which then gets translated into several different forms based on the substitution of the Schwarzschild radius [Rs] and the introduction of geometric units. However, the expansion of this term leads to the form:

[tex]\frac{L^2}{2mr^2}+\frac{mc^2}{2}-\frac{Rs}{r}*\frac{L^2}{2mr^2}-\frac{Rs}{r}*\frac{mc^2}{2}[/tex]

[tex]\frac{L^2}{2mr^2}+\frac{mc^2}{2}-\frac{GML^2}{c^2mr^3}-\frac{GMm}{r}[/tex]

The difference between the Wikipedia + classical derivation and the Fourmilab + relativistic derivations appears to be linked to which side of the equation you put the [tex] mc^2/2 [/tex] term. On the basis of the classical definition, Veff is defined as the sum of the orbital kinetic energy plus the potential energy and therefore this term must belong on the left with total energy [Et], i.e. I think Wikipedia is right. Again, on the basis that [tex]dr/d\tau[/tex] can be set to zero, we have a direct correlation between total energy [Et] and Veff

[tex] Et = Ek + Ep[/tex]

[tex]Veff = Ek(v_o) + Ep = Et[/tex] if [tex] v_r = 0[/tex]

Of course, it is possible that the re-arrangement used in most relativistic text doesn’t actual change the basic tenets of the argument for the effective potential curves being suggested. However, it would be nice to use an equation, which is consistent and can show its derivation to be compatible with the classical form.

Really appreciate all the input. Any further thoughts?
 
Last edited:
  • #46
Hi mysearch.

it is worth noting that the Wikipedia solution uses proper time in its derivation and this may account for the large difference between the fourmilab/MTW and Wikipedia solutions, despite their apparent similarities. I am not sure at this point if the proper time refers to time measured by a stationary clock deep in the gravity well or a clock that is orbiting and falling with the test particle. That is one reason I prefer coordinate time as measured at infinity because we do not have a moving target then. :P
 
Last edited:
  • #47
Hi Jorrie,

thanks for your valued and informed input ;)

Jorrie said:
I understand MTW's V_eff as energy per unit orbiting mass, so the c^2 is required if you want it in SI units of joules/kg.

The fourmilab solution in SI units must then be in (joules/kg)^2, not so?

You are right about the units. Gravitational potential should be in units of joules/kg or the equivalent (meter/second)^2 which is satisfied by c^2.

What was confusing me was that the values inside the brackets of

[tex]V_{eff} = \sqrt{(1-2M/r)(1+L^2/r^2)}[/tex]

are not pure ratios and I was trying to fix that.


Jorrie said:
I think this is a weak field approximation only and does not hold for relativistic energies.

This is not the definition of effective potential, so I think your derivation may be flawed on two counts.

I accept the criticism of using the virial theorem relationship of PE= -2.KE and I have already stated I was not certain it applied here, so I will reject it.

As for using gravitational potential = gravitational PE/m let's replace the expression (gravitational potential) with (gravitational PE per unit mass) in line with the various texts on the subject. It less emotive then ;)

Jorrie said:
According to MTW, effective potential is the total orbital energy (potential and kinetic) at the points of the orbit where dr/dt = 0 (peri- and apoapsis for closed orbits). MTW gives it in standard energy form and Fourmilab in energy squared form, hence the difference in appearance.

From MTW, using geometric units and working per unit orbiting mass, we have the normalized total orbital energy for dr/dt=0:

[tex] E = \frac{1-2M/r}{\sqrt{1-2M/r-r^2d\phi^2/dt^2}}[/tex]

and

[tex]L = \frac{r d\phi}{dt\sqrt{1-2M/r-r^2d\phi^2/dt^2}}[/tex]

These two can be solved by eliminating [itex]r d\phi/dt[/itex] to give the (MTW) effective potential (energy) as:

[tex]V_{eff} = \sqrt{(1-2M/r)(1+L^2/r^2)}[/tex]

equivalent to the Fourmilab result, which is just the value squared.


I hate to say it, but there seems to be an error in the MTW derivation (although it more likey the error is mine and 1effect will soon find it :P )

Eliminating [itex]r d\phi/dt[/itex] in

[tex] E = \frac{1-2M/r}{\sqrt{1-2M/r-r^2d\phi^2/dt^2}}[/tex]

yields

[tex]\sqrt{(1-2M/r)(1+L^2)}[/tex]

which is not the MTW result you quoted.



It seems that [itex]r^2[/itex] should be removed from the expression inside the square root. Analysis of the units seems to support this.

We now have:

[tex] E = \frac{1-2M/r}{\sqrt{1-2M/r-d\phi^2/dt^2}}[/tex]

and

[tex]L = \frac{r d\phi}{dt\sqrt{1-2M/r-d\phi^2/dt^2}}[/tex]

which would then reduce to the result you got:

[tex] \sqrt{(1-2M/r)(1+L^2/r^2)}[/tex]





On that basis, adding G, m and c back into the equations, so that the units balance correctly, the derivation would read:

[tex] E = mc^2 \frac{1-2GM/(rc^2)}{\sqrt{1-2GM/rc^2-d\phi^2/(dt^2c^2)}}[/tex]

and

[tex]L = m r (d\phi/dt) \frac{1}{\sqrt{1-2GM/(rc^2)-d\phi^2/(dt^2c^2)}}[/tex]

which would then reduce to the restored fourmilab equation

[tex]V^2 = c^4 \left(1-{2GM \over rc^2}\right)\left(1+{L^2 \over m^2c^2r^2}\right)[/tex]

where V is potential energy per unit mass.
 
  • #48
kev said:
Hi Jorrie,

thanks for your valued and informed input ;)



You are right about the units. Gravitational potential should be in units of joules/kg or the equivalent (meter/second)^2 which is satisfied by c^2.

What was confusing me was that the values inside the brackets of

[tex]V_{eff} = \sqrt{(1-2M/r)(1+L^2/r^2)}[/tex]

are not pure ratios and I was trying to fix that.




I accept the criticism of using the virial theorem relationship of PE= -2.KE and I have already stated I was not certain it applied here, so I will reject it.

As for using gravitational potential = gravitational PE/m let's replace the expression (gravitational potential) with (gravitational PE per unit mass) in line with the various texts on the subject. It less emotive then ;)




I hate to say it, but there seems to be an error in the MTW derivation (although it more likey the error is mine and 1effect will soon find it :P )

Eliminating [itex]r d\phi/dt[/itex] in

[tex] E = \frac{1-2M/r}{\sqrt{1-2M/r-r^2d\phi^2/dt^2}}[/tex]

yields

[tex]\sqrt{(1-2M/r)(1+L^2)}[/tex]

which is not the MTW result you quoted.

Yes, more precisely, you get
[tex]E=\sqrt{(1-2M/r)(1+L^2)}[/tex]
 
  • #49
1effect said:
Yes, more precisely, you get
[tex]E=\sqrt{(1-2M/r)(1+L^2)}[/tex]

Do you agree that is not a balanced equation even when we allow for the normalised units?
r is not a normalised variable and has not been set to one like G and x.
The only way to balance that equation in normal units to get pure ratios is like this:

[tex] \frac{E}{mc^2} = \sqrt{\left(1-\frac{2GM}{rc^2}\right)\left(1+\frac{L^2c^2}{G^2m^2}\right)}[/tex]

which expands to

[tex] \frac{E^2}{m^2} = c^4\left(1+\frac{L^2c^2}{G^2m^2}-\frac{2GM}{rc^2}-\frac{2ML^2c^2}{G m^2 c^4}\right)[/tex]

which I don't think gives the required min max potential curve because there are no rpowers of r greater than one.
 
  • #50
kev said:
I hate to say it, but there seems to be an error in the MTW derivation (although it more likey the error is mine and 1effect will soon find it :P )

Eliminating [itex]r d\phi/dt[/itex] in

[tex] E = \frac{1-2M/r}{\sqrt{1-2M/r-r^2d\phi^2/dt^2}}[/tex]

yields

[tex]\sqrt{(1-2M/r)(1+L^2)}[/tex]

which is not the MTW result you quoted.

No, the error is mine, not MTWs! :redface: There's a typo in my equation for L; should have an r^2 above the line, not just r. You can't take it out inside the square root, because that will screw up the units there. Correct L:

[tex]
L = \frac{r^2 d\phi}{dt\sqrt{1-2M/r-d\phi^2/dt^2}}
[/tex]

Sorry for the inconvenience, but well spotted. I should have checked dimensions. L has the dimension of meter in geometric units (or m^2/s in SI units), while the one I gave was dimensionless geometrically.

I took the liberty to correct my post with the offending formula to reduce confusion.
 
  • #51
Jorrie said:
No, the error is mine, not MTWs! :redface: There's a typo in my equation for L; should have an r^2 above the line, not just r. You can't take it out inside the square root, because that will screw up the units there. Correct L:

[tex]
L = \frac{r^2 d\phi}{dt\sqrt{1-2M/r-d\phi^2/dt^2}}
[/tex]

Sorry for the inconvenience, but well spotted. I should have checked dimensions. L has the dimension of meter in geometric units (or m^2/s in SI units), while the one I gave was dimensionless geometrically.

I took the liberty to correct my post with the offending formula to reduce confusion.

If we assume

[tex] L = mvr = m (d\phi / dt) r [/tex]

and if we assume

[tex] \sqrt{1-2M/r-d\phi^2/dt^2}}[/tex]

is a dimensionless ratio, then the equation should be:


[tex]
\frac{L}{m} = \frac{r d\phi}{dt\sqrt{1-2M/r-d\phi^2/dt^2}}
[/tex]
 
  • #52
Comments on some Earlier Posting

Just a couple of points on some of the statements made:

“it is worth noting that the Wikipedia solution uses proper time in its derivation and this may account for the large difference between the fourmilab/MTW and Wikipedia solutions, despite their apparent similarities. I am not sure at this point if the proper time refers to time measured by a stationary clock deep in the gravity well or a clock that is orbiting and falling with the test particle. That is one reason I prefer coordinate time as measured at infinity because we do not have a moving target then. “

I think proper time [tex][d\tau][/tex] is appropriate. I equate this time to correspond to the wristwatch time of an observer traveling with the frame of reference in question, e.g. free-falling, orbiting etc. It is my understanding that it is the distant observer’s perspective that is distorted by both gravity and velocity. Local time is always 1 sec per sec.

“I accept the criticism of using the virial theorem relationship of PE= -2.KE and I have already stated I was not certain it applied here, so I will reject it. “


I wasn’t sure whether you were rejecting the virial theorem or the fact that Ep=-2KE? I believe the latter is valid; at least, classical circular orbits. It is an interesting point to check whether this relationship still stands in your relativistic derivation. Here is the classical argument:

[tex] Et = Ek – Ep[/tex]

[tex] Et = 1/2mv^2 + (-GMm/r) [/tex]

[tex]Et = 1/2m\left( v_r^2 + v_o^2\right)-GMm/r [/tex]

Where [tex]v_r=0[/tex] and
[tex]v_o=\sqrt {\frac{GM}{r}}[/tex].
So substituting:

[tex]E_t = \frac{GMm}{2r}(E_k)-\frac{GMm}{r} (E_p)[/tex]

So for classical circular orbit Et=-GMm/2r, while Ek=GMm/2. The implication is that any stable orbit exists within the gravitational potential well, i.e. has net negative energy based on the accounting of potential energy being negative.

Are you coming to any conclusions as to which equation for Veff can be justified by derivation and does this equation produce the max/min curve?
 
  • #53
kev said:
If we assume

[tex] L = mvr = m (d\phi / dt) r [/tex]

and if we assume

[tex] \sqrt{1-2M/r-d\phi^2/dt^2}}[/tex]

is a dimensionless ratio, then the equation should be: [tex]
\frac{L}{m} = \frac{r d\phi}{dt\sqrt{1-2M/r-d\phi^2/dt^2}}
[/tex]

MTW's relativistic equation 25.17 (pp. 657 in my book) for L is:

[tex] L/m = \frac{r^2 d\phi}{d\tau} = \frac{r^2 d\phi}{dt\sqrt{1-2M/r -r^2d\phi/dt^2}} [/tex]

in geometric units and with dr/dt=0. In general orbits, dr/dt <> 0 for most of the time, so dr/dt influences L, because it influences [itex]d\tau[/itex].

Check you dimensions and you will also see the problem. Inside the square root, all terms must be dimensionless; your [itex]d\phi^2/dt^2[/itex] is not, but gives seconds[itex]^{-2}[/itex].
 
Last edited:
  • #54
mysearch said:
Just a couple of points on some of the statements made:

“it is worth noting that the Wikipedia solution uses proper time in its derivation and this may account for the large difference between the fourmilab/MTW and Wikipedia solutions, despite their apparent similarities. I am not sure at this point if the proper time refers to time measured by a stationary clock deep in the gravity well or a clock that is orbiting and falling with the test particle. That is one reason I prefer coordinate time as measured at infinity because we do not have a moving target then. “

I think proper time [tex][d\tau][/tex] is appropriate. I equate this time to correspond to the wristwatch time of an observer traveling with the frame of reference in question, e.g. free-falling, orbiting etc. It is my understanding that it is the distant observer’s perspective that is distorted by both gravity and velocity. Local time is always 1 sec per sec.

“I accept the criticism of using the virial theorem relationship of PE= -2.KE and I have already stated I was not certain it applied here, so I will reject it. “


I wasn’t sure whether you were rejecting the virial theorem or the fact that Ep=-2KE? I believe the latter is valid; at least, classical circular orbits. It is an interesting point to check whether this relationship still stands in your relativistic derivation. Here is the classical argument:

[tex] Et = Ek – Ep[/tex]

[tex] Et = 1/2mv^2 + (-GMm/r) [/tex]

[tex]Et = 1/2m\left( v_r^2 + v_o^2\right)-GMm/r [/tex]

Where [tex]v_r=0[/tex] and
[tex]v_o=\sqrt {\frac{GM}{r}}[/tex].
So substituting:

[tex]E_t = \frac{GMm}{2r}(E_k)-\frac{GMm}{r} (E_p)[/tex]

So for classical circular orbit Et=-GMm/2r, while Ek=GMm/2. The implication is that any stable orbit exists within the gravitational potential well, i.e. has net negative energy based on the accounting of potential energy being negative.

Are you coming to any conclusions as to which equation for Veff can be justified by derivation and does this equation produce the max/min curve?

I am assuming that the MTW and fourmilab equations

[tex]V^2 = c^4 \left(1-{2GM \over rc^2}\right)\left(1+{L^2 \over m^2c^2r^2}\right)[/tex]

where V is the potential energy per unit mass of the orbiting particle, are the probably the most authoritive and in reasonable agreement, ( I have taken the liberty of converting the normilsed formula to normal units) but I do not understand enough about the equations the derivations are based on to give a clear opinion.

The Wikipedia equation is roughly the MTW equation squared with an additional constant. That is quite a big difference. I am not saying the Wiki equation is wrong, but it may be looking at things from a different angle, maybe proper time versus coordianate time.
Also bear in mind that the Wiki derivation is ultimately flawed in the region of a black hole because it is based on the Newtonian formula [itex]mv^2/2[/itex] for kinetic energy rather than the relativistic equation [itex] mc^2/\sqrt{1-v^/c^2}-mc^2[/itex] for KE.

As for the virial theorem, I was not rejecting the theorem itself, just the use of PE= -2KE in the context of strong gravitational "field" near a black hole for example, as suggested by Jorrie. The wiki article seems to be using PE = -KE

Any accurate derivation for gravitational potential should probably be based on the invariant relationship [itex] E^2 -P^2 = M^2 [/itex] as this is the quantity that is conserved in relativity.

You might be interested in this derivation I did a year ago of orbital periods in strongly curved spacetime, using a mixture of classical and relativistic equations, that seemed to work (in this instance) https://www.physicsforums.com/showpost.php?p=1526798&postcount=25

As for coordianate measurements being distorted compared to proper measurements, is it fair to say in special relativity that the clock of an observer moving relative to you is distorted, or do you both have equally valid viewpoints of time from your own reference frames?
 
  • #55
Thanks for the reply. I will try to sit down today and review all the exchanges and then plot the max/min curve based on all the different equations suggested. It is not clear to me that mc^2 is still not being included in Veff. However, it would be a start to get the curve and then work backwards towards the validity of its derivation.
 
  • #56
kev said:
I am assuming that the MTW and fourmilab equations

[tex]V^2 = c^4 \left(1-{2GM \over rc^2}\right)\left(1+{L^2 \over m^2c^2r^2}\right)[/tex]
...

I guess by now you have spotted the dimensional problem in your foumilab conversion! :wink:

Without the offending m^2 it will work perfectly for a normalized V_eff^2 in normal SI units.

-J

Edit: OK, I may be nitpicking, but if you write V without showing it actually means V/m, then you should not write L/m. That's why MTW uses the top-tilde to make clear which convention is followed. If you do not want to use the top-tilde convention, it is better to write:

[tex]V_{eff}^2 = m^2c^4 \left(1-{2GM \over rc^2}\right)\left(1+{L^2 \over m^2c^2r^2}\right)[/tex]

-J
 
Last edited:
  • #57
Jorrie said:
MTW's relativistic equation 25.17 (pp. 657 in my book) for L is:

[tex] L/m = \frac{r^2 d\phi}{d\tau} = \frac{r^2 d\phi}{dt\sqrt{1-2M/r -r^2d\phi/dt^2}} [/tex]

in geometric units and with dr/dt=0.

Check you dimensions and you will also see the problem. Inside the square root, all terms must be dimensionless; your [itex]d\phi^2/dt^2[/itex] is not, but gives seconds[itex]^{-2}[/itex].


Sorry, my typo this time.

I meant for a point particle the moment of inertia is [itex] I = mr^2[/itex] and angular momentum is

[tex] L = Iw = (mr^2)w = (m r^2)\frac {v}{r} = mvr = \frac{mr d\phi}{dt}[/tex]

then

[tex] L/m = \frac{rd\phi}{d\tau} = \frac{r d\phi}{dt\sqrt{1-2GM/(rc^2) -d\phi/(dt^2c^2)}} [/tex]

It is hard to check if units are dimensionless using geometrical units.

[tex] G/c^2 , 1 , 1/c^4 , c^5/G^9 , c^5/c^2 [/tex] all appear to be dimensionless in units of G = c = 1
 
  • #58
Jorrie said:
I guess by now you have spotted the dimensional problem in your foumilab conversion! :wink:

I guess it is because by momentum I usually mean p = mv and for angular momentum I usually mean L = mvr whereas the text prefer to use the definitions of momentum per unit mass, p = v and L = vr.


I was just explicity showing the mass which is easier than trying to typset tilde marks :P


To be fair I did explicity state under the equation that V is potential energy per unit mass. The terms (potential energy) and (potential) seem to used interchangeably but they are different things with different units and was trying to bring that out. Potential is a gradient while potential energy is not.
 
Last edited:
  • #59
Jorrie said:
MTW's relativistic equation 25.17 (pp. 657 in my book) for L is:

[tex] L/m = \frac{r^2 d\phi}{d\tau} = \frac{r^2 d\phi}{dt\sqrt{1-2M/r -r^2d\phi/dt^2}} [/tex]

in geometric units and with dr/dt=0. In general orbits, dr/dt <> 0 for most of the time, so dr/dt influences L, because it influences [itex]d\tau[/itex].

Check you dimensions and you will also see the problem. Inside the square root, all terms must be dimensionless; your [itex]d\phi^2/dt^2[/itex] is not, but gives seconds[itex]^{-2}[/itex].

If [itex]d\phi^2/dt^2[/itex] has units of [itex]seconds^{-2}[/itex], then your [itex]r^2 d\phi^2/dt^2[/itex] has units of [itex] metres^{2} seconds^{-2}[/itex] which is not dimensionless either.
 
Last edited:
  • #60
kev said:
If [itex]d\phi^2/dt^2[/itex] has units of [itex]seconds^{-2}[/itex], then your [itex]r^2 d\phi^2/dt^2[/itex] has units of metres[itex]^{2} seconds^{-2}[/itex] which is not dimensionless either.

Hmm... we were actually both wrong! :smile: I should have written that "your [itex]d\phi^2/dt^2[/itex] has units of meters[itex]^{-2}[/itex] ", because the geometric units of time is either meters or cm, not seconds, unless, like in astronomy, one start to use light-seconds for distance and seconds for time.

In any case [itex]d\phi[/itex] is always dimensionless, but [itex]dt[/itex] never, that's why the [itex]r^2[/itex] on top makes it dimensionless in geometric units. Checking dimensions in either geometrical or conventional systems is always a good practice for catching out errors.

-J

Edit: you can reinstate the G's and c's and then the terms inside the square root must still be dimensionless in conventional units, because it is subtracted from 1, a dimensionless scalar. Remember that velocity is dimensionless in geometric units...
 
Last edited:
  • #61
I guess the answer hinges on whether an angle mesured in radians is dimensionless or not. The perimeter of a circle with a radius of 5 metres is 10 Pi metres. In terms of radians the perimeter is 5 radians. Does the perimeter cease to have dimemsions of length? While the total displacement is zero for a complet circunavigation of a circle, this is not always true for a partial rotation. Now, radians, is the length of a segment divided by the radius and so Si units suggest it is dimensionless. Wikpedia suggests this dilemna is solved by using extended SI units and talking of the perimeter of the circle as 5 radian metres to make clear we do not mean 5 metres in a straight line. Anyway, velocity in a straight line is measured in metres per second, and angular velocity still essentially has dimensions distance over time but maybe we should call it radian-metres per second.
 
  • #62
kev said:
Anyway, velocity in a straight line is measured in metres per second, and angular velocity still essentially has dimensions distance over time but maybe we should call it radian-metres per second.

In geometric units, velocity will then be radian-meters per meter, which is dimensionless, just like light-years per year is dimensionless. I like the radian-meters for clarity! :smile:
 
  • #63
Jorrie said:
In geometric units, velocity will then be radian-meters per meter, which is dimensionless, just like light-years per year is dimensionless. I like the radian-meters for clarity! :smile:


If we roll a wheel along the ground so that it completes one full rotation, can we agree that the ratio of the distance rolled to the circumferance of the wheel is dimensionless whether we choose to measure the circumferance in radian-meters or meters? In other words radian-meters and just plain meters can both be considered as measures of (path) length and cancel out?

I mention path length, because the total displacement of a particle on the rim of a wheel after completing one full rotation is zero, but the path length is not.
 
  • #64
mysearch said:
It is not clear to me that mc^2 is still not being included in Veff. However, it would be a start to get the curve and then work backwards towards the validity of its derivation.

I think the last equation I wrote in reply to Kev:

[tex]
V_{eff}^2 = m^2c^4 \left(1-{2GM \over rc^2}\right)\left(1+{L^2 \over m^2c^2r^2}\right)
[/tex]

may solve your concern, but now you must remember that V_eff is in Joule (kg^2 m^2/s^2), so V_eff^2 is in Joule^2. L is in units kg m^2/s.

Note that your minimum L for a bound, stable orbit is now not just 3.4641, but 3.4641GM/c ~ 7.7E-19 M kg m^2/s. Below this value, you will not get the "trough and the bulge" in the V_eff-curve and it may confuse the issue.

-J
 
  • #65
kev said:
In other words radian-meters and just plain meters can both be considered as measures of (path) length and cancel out?

Yep, I would think so. Radians are always considered to be dimensionless ratios, AFAIK.

In geometric units, time is also measured in meters - one unit is actually the amount of time it takes light to travel one meter distance in vacuum and could be called light-meters; hence velocity is dimensionless, acceleration is in meter[itex]^{-1}[/itex] and so on. It is much simpler to keep track of the units in geometric units than it is in conventional units and it helps that G=c=1!

-J
 
Last edited:
  • #66
Jorrie said:
Yep, I would think so. Radians are always considered to be dimensionless ratios, AFAIK.

In geometric units, time is also measured in meters - one unit is actually the amount of time it takes light to travel one meter distance in vacuum and could be called light-meters; hence velocity is dimensionless, acceleration is in meter[itex]^{-1}[/itex] and so on. It is much simpler to keep track of the units in geometric units than it is in conventional units and it helps that G=c=1!

-J

OK, I've checked out the Wikpedia reference on geometric units and I am a bit more comfortable with then now. Takes a bit of getting used to, measuring time and mass in centimetres :P

So where are we now?
What is the final agreed form of the potential in conventional units? The one quoted in post #64 presumably?
 
  • #67
kev said:
So where are we now?
What is the final agreed form of the potential in conventional units? The one quoted in post #64 presumably?

My background is engineering, so I also favor the conventional units. My vote is for the form in conventional units of Joules and always indicating that it is effective potential V_eff (not to be confused with normal potential energy):

[tex]
V_{eff} = mc^2 \sqrt{\left(1-{2GM \over rc^2}\right)\left(1+{L^2 \over m^2c^2r^2}\right)}
[/tex]

That [itex]mc^2[/itex] is a nice way of indicating that it is actually an energy equation, because the rest are dimensionless.

-J
 
Last edited:
  • #68
In the opening post mysearch wanted to have a better understanding of the physical concepts behind the effective potential so I would like to post some conclusions that might help and clear up some misconceptions (of mine).

The derivation given by Jorrie appears to be correct and and he is right that [itex]L = m( d\phi/dt)r^2[/itex] and not [itex]m(d\phi/dt)r[/itex] as I suggested.

Looking at the equation for effective potential given by Jorrie

[tex]V_{eff}^2 = m^2c^4 \left(1-{2GM \over rc^2}\right)\left(1+{L^2 \over m^2c^2r^2}\right)[/tex]

it is easy to see that at infinity the potential^2 is

[tex]V_{eff}^2 = m^2c^4\left(1+{L^2 \over m^2c^2r^2}\right)[/tex]

The L term does not go to zero because L includes a hidden r^2 within its definition that cancels out the visible r^2 in the equation

If we expand L to base units we get

[tex]V_{eff}^2 = m^2c^4\left(1+{m^2v^2r^2 \over m^2c^2r^2}\right)[/tex]

which simplifies to

[tex]V_{eff}^2 = m^2c^4\left(1+{v^2 \over c^2}\right)[/tex]


[tex]V_{eff}^2 = m^2c^4+ m^2v^2c^2[/tex]

This can now be expressed as the well known conserved energy-momentum expression of relativity [itex] E^2 = M^2 + P^2 [/itex]

For radii less than infinity the effective potential is simply the potential at infinity reduced by the gravitational gamma factor.



The above equations assumes constant orbital radius and glosses over proper time issues.

A better derivation can be obtained from this equation given in Wikpedia that makes the issues clear. http://en.wikipedia.org/wiki/Kepler_problem_in_general_relativity#Geodesic_equation

[tex]
\left( \frac{dr}{d\tau} \right)^{2} = \frac{E^{2}}{m^{2}c^{2}} - \left( 1 - \frac{r_{s}}{r} \right) \left( c^{2} + \frac{L^{2}}{m^{2} r^{2}} \right)
[/tex]

Divide both sides by c^2 and rearrange:

[tex] E^{2}-
\left( \frac{mcdr}{d\tau} \right)^{2} = m^2c^4\left( 1 - \frac{r_{s}}{r} \right) \left( 1 + \frac{L^{2}}{m^{2} r^{2}c^2} \right)
[/tex]

For constant radius this becomes the familiar

[tex] E^{2} = m^2c^4\left( 1 - \frac{r_{s}}{r} \right) \left( 1 + \frac{L^{2}}{m^{2} r^{2}c^2} \right)
[/tex]

where L is defined by Wikpedia in terms of proper time as is the expression for radial velocity that has just been eliminated.

This last derivation makes clear the assumption of constant radius in the familiar equation for effective potential.
 
Last edited:
  • #69
kev said:
In the opening post mysearch wanted to have a better understanding of the physical concepts behind the effective potential so I would like to post some conclusions that might help and clear up some misconceptions (of mine).

The derivation given by Jorrie appears to be correct and and he is right that [itex]L = m( d\phi/dt)r^2[/itex] and not [itex]m(d\phi/dt)r[/itex] as I suggested.

Looking at the equation for effective potential given by Jorrie

[tex]V_{eff}^2 = m^2c^4 \left(1-{2GM \over rc^2}\right)\left(1+{L^2 \over m^2c^2r^2}\right)[/tex]

it is easy to see that at infinity the potential^2 is

[tex]V_{eff}^2 = m^2c^4\left(1+{L^2 \over m^2c^2r^2}\right)[/tex]

The L term does not go to zero because L includes a hidden r^2 within its definition that cancels out the visible r^2 in the equation

If we expand L to base units we get

[tex]V_{eff}^2 = m^2c^4\left(1+{m^2v^2r^2 \over m^2c^2r^2}\right)[/tex]

which simplifies to

[tex]V_{eff}^2 = m^2c^4\left(1+{v^2 \over c^2}\right)[/tex][tex]V_{eff}^2 = m^2c^4+ m^2v^2c^2[/tex]

I'm afraid that you can't do any of the stuff that you are showing above.
You are using the fact that [tex]v=r \frac{d \phi}{dt}[/tex] and you are taking the limit for [tex]V_{eff}[/tex] for [tex]r->infinity[/tex] . Obviously, this makes [tex]v->infinity[/tex]. In other words, you forgot that [tex]\frac{L}{mcr}->infinity[/tex]. Not good :-)
 
Last edited:
  • #70
1effect said:
I'm afraid that you can't do any of the stuff that you are showing above.
You are using the fact that [tex]v=r \frac{d \phi}{dt}[/tex] and you are taking the limit for [tex]V_{eff}[/tex] for [tex]r->infinity[/tex] . Obviously, this makes [tex]v->infinity[/tex]. In other words, you forgot that [tex]\frac{L}{mcr}->infinity[/tex]. Not good :-)


[tex]v=r \frac{d \phi}{dt}[/tex]

[tex]d\phi =v\frac{dt }{r} = \frac{dx}{dt} . \frac{dt}{ r} = \frac{dx}{r}[/tex]

[tex]v=r \frac{d \phi}{dt} = \frac{r}{dt} . \frac{dx}{r} = \frac{dx}{dt}[/tex]

The radius terms cancel out, so no v going to infinity to worry about.
 

Similar threads

Back
Top