Onyx
- 141
- 4
Their derivatives with respect to the affine parameter.
This is what I meant by one-forms
The discussion focuses on finding geodesics in the dynamic Ellis Orbits metric defined by the equation ##ds^2=-dt^2+dp^2+(5p^2+4t^2)d\phi^2##, particularly for cases with nonzero angular momentum. Participants reference the geodesic Lagrangian method, which simplifies the process by eliminating certain derivatives due to the presence of a Killing field, ##\partial_\phi##. The conversation emphasizes that while some differential equations can be integrated exactly, the complexity of the metric requires careful analysis to determine solvability. The geodesic equation must be solved rather than the metric itself.
PREREQUISITESResearchers and students in theoretical physics, particularly those focusing on general relativity, differential geometry, and the study of wormholes and geodesics.
Their derivatives with respect to the affine parameter.
Then you should be aware that that is not correct terminology.Onyx said:This is what I meant by one-forms
Well, I wouldn't bother with the square root, but that's up to you. Set ##\theta=\pi/2## for simplicity's sake, which makes ##\partial\mathcal{L}/\partial\theta=\partial\mathcal{L}/\partial\dot\theta=0##. What do the three remaining Euler-Lagrange equations give you?Onyx said:##L=\sqrt{{g_{uv}}u'v'}##
##\partial\mathcal{L}/\partial\dot\phi=r^2d\phi##Ibix said:Well, I wouldn't bother with the square root, but that's up to you. Set ##\theta=\pi/2## for simplicity's sake, which makes ##\partial\mathcal{L}/\partial\theta=\partial\mathcal{L}/\partial\dot\theta=0##. What do the three remaining Euler-Lagrange equations give you?
##\partial\mathcal{L}/\partial\dot\phi=2r^2d\phi##Ibix said:No. ##\mathcal{L}=\left(1-\frac{r_S}{r}\right)\dot{t}^2-\left(1-\frac{r_S}{r}\right)^{-1}\dot{r}^2-r^2\dot{\phi}^2##. Where are the differentials coming from on your right hand side?
##\frac{dx^u}{d\tau}##Ibix said:Why are there differentials on your right hand sides?
Just the chain rule applied to the right side when differentiating wrt the dotted variables.Onyx said:##\frac{dx^u}{d\tau}##
##d\phi = \dot\phi##Onyx said:Just the chain rule applied to the right side when differentiating wrt the dotted variables.
No it doesn't. ##\dot{\phi}=d\phi/d\tau##. What is the correct expression for ##\partial\mathcal{L}/\partial \dot x^i##? Don't randomly replace symbols with unrelated ones.Onyx said:##d\phi = \dot\phi##
Just replace the differentials in post #38 with dotted variables.Ibix said:No it doesn't. ##\dot{\phi}=d\phi/d\tau##. What is the correct expression for ##\partial\mathcal{L}/\partial \dot x^i##? Don't randomly replace symbols with unrelated ones.
If not that, then I don't know.Onyx said:Just replace the differentials in post #38 with dotted variables.
No, you replace the differentials with dotted variables. If you want help, you need to do that part of the work yourself. We're not going to auto-correct what you post for you.Onyx said:Just replace the differentials in post #38 with dotted variables.
I suspect that's correct, but you seem to have some odd ideas about differentials so it would be a good idea for you to write it out.Onyx said:Just replace the differentials in post #38 with dotted variables.
Oh, I see what you mean. In that case, ##\partial\mathcal{L}/\partial \phi=\partial\mathcal{L}/\partial t=0##. Meanwhile, ##\partial\mathcal{L}/\partial r## is a function of ##r##.Ibix said:I suspect that's correct, but you seem to have some odd ideas about differentials so it would be a good idea for you to write it out.
You will also need the three ##\partial\mathcal{L}/\partial x^i##, which I don't think you've posted.
No, that's not quite what you get from the EL equations. Since you haven't shown your work I can't tell where you went wrong, but you went wrong somewhere. Note that you should get three equations, not two; even though the metric does not depend on ##\phi##, the EL equation for ##\dot{\phi}## still has non-negligible content.Onyx said:Okay, so for the Ellis metric, I get from the EL equation that ##\frac{\partial \dot t}{\partial \tau}=-4t\dot \phi^2## and ##\frac{\partial \dot p}{\partial \tau}=5p\dot \phi^2##.
And so it follows that...Onyx said:##\mathcal{L}=-\dot t^2+\dot p^2+\frac{1}{5p^2+4t^2}##
##\frac{\partial\mathcal{L}}{\partial t}=\frac{d}{d\tau}\frac{\partial\mathcal{L}}{\partial\dot t}##
##\frac{\partial\mathcal{L}}{\partial t}=-2\frac{d}{d\tau}\dot t##
##-\frac{8t}{(5p^2+4t^2)^2}=-2\frac{d}{d\tau}\dot t##
##\frac{4t}{(5p^2+4t^2)^2}=\frac{d}{d\tau}\dot t##
As @Ibix pointed out, the last term in your ##\mathcal{L}## needs a ##\dot{\phi}^2##. Also I don't understand why ##5p^2 + 4t^2## is in the denominator.Onyx said:##\mathcal{L}=-\dot t^2+\dot p^2+\frac{1}{5p^2+4t^2}##
##\frac{\partial\mathcal{L}}{\partial t}=\frac{d}{d\tau}\frac{\partial\mathcal{L}}{\partial\dot t}##
##\frac{\partial\mathcal{L}}{\partial t}=-2\frac{d}{d\tau}\dot t##
##-\frac{8t}{(5p^2+4t^2)^2}=-2\frac{d}{d\tau}\dot t##
##\frac{4t}{(5p^2+4t^2)^2}=\frac{d}{d\tau}\dot t##
But if I treated the lagrangianOnyx said:And so it follows that...
##-\frac{5p}{(5p^2+4t^2)^2}=\frac{d}{d\tau}\dot p##
I forgot to mention that I made the angular momentum ##1##, which is why ##5p^2+4t^2## is in the denominator.PeterDonis said:As @Ibix pointed out, the last term in your ##\mathcal{L}## needs a ##\dot{\phi}^2##. Also I don't understand why ##5p^2 + 4t^2## is in the denominator.
Your second line does correctly state the Euler-Lagrange equation for one coordinate, namely ##t##. There are two others, for ##p## and ##\phi##.
Your third line does correctly evaluate ##d / d\tau ( \partial \mathcal{L} / \partial \dot{t} )##.
Your fourth and fifth lines, however, do not correctly evaluate ##\partial \mathcal{L} / \partial t##.
Which is wrong. The Lagrangian does not specify particular values for any conserved quantities.Onyx said:I forgot to mention that I made the angular momentum ##1##
So you are using the remaining Euler-Lagrange equation, ##\frac d{d\tau}\frac{d\mathcal{L}}{d\dot\phi}=0##, to imply ##2\dot\phi(5p^2+4t^2)=\mathrm{const}##, then setting the constant to 1 and substituting into your expression for ##\mathcal{L}##? In that case, I think you actually set your angular momentum to 2. And you should definitely make this calculation explicit rather than leaving usto guess that you are treating a special case.Onyx said:I forgot to mention that I made the angular momentum ##1##, which is why ##5p^2+4t^2## is in the denominator.
A more pertinent question would be, is doing that correct? And the answer to that is no.Ibix said:So you are using the remaining Euler-Lagrange equation, ##\frac d{d\tau}\frac{d\mathcal{L}}{d\dot\phi}=0##, to imply ##2\dot\phi(5p^2+4t^2)=\mathrm{const}##, then setting the constant to 1 and substituting into your expression for ##\mathcal{L}##?
Doesn't it just constrain the Lagrangian to apply to the case where the angular momentum is as specified? My maths suggests it works out correctly (at least in this case), but I did it with Maxima on my phone so the possibility of arithmetic slips is non-zero.PeterDonis said:A more pertinent question would be, is doing that correct? And the answer to that is no.