Solving the Kepler problem with the Hamiltonian

In summary, the conversation discusses finding the Hamiltonian and its corresponding equations of motion for a particle in a central potential. The solution to the Kepler problem in this description is then attempted by solving the equations of motion, but with some algebra errors. It is then suggested to use a substitution to make the differential equation easier to solve, leading to a solution for r and theta in terms of each other.
  • #1
fluidistic
Gold Member
3,949
264

Homework Statement


Write down the Hamiltonian and its corresponding Hamilton equations for a particle in a central potential. Find the solution to the Kepler problem in this description.

Homework Equations


Hamiltonian.
The Hamilton equations or motion equations are [itex]\dot q _i = \frac{\partial H}{\partial p_i}[/itex] and [itex]\dot p_i =-\frac{\partial H}{\partial q_i}[/itex].

The Attempt at a Solution


I've found as Hamiltonian of the central potential: [itex]H=\frac{1}{2m} \left ( p_r ^2 + \frac{p_ \theta ^2 }{r^2} \right ) +U(r)[/itex].
I know that for the Kepler problem, U(r) becomes k/r.
So that [itex]H=\frac{1}{2m} \left ( p_r ^2 +\frac{p_ \theta ^2 }{r^2} \right ) +\frac{k}{r}[/itex].
Now I'm stuck at finding and solving the equations of motion.
Here is my attempt:
[itex]\dot r = \frac{p _r}{m}[/itex].
And [itex]\dot p_r= mr \dot \theta ^2 -\frac{k}{r^2}[/itex].
I don't know if this is good so far. Nor how to continue.
 
Physics news on Phys.org
  • #2
Note by the way that you have two more Hamilton's equations for the angular components: [itex] \dot{\theta} = \cdots [/itex] and [itex]\dot{p}_\theta = \cdots[/itex]

[itex] q_1 = r, q_2 = \theta[/itex], [itex]p_1 = p_r, p_2 = p_\theta[/itex]

Next apply definitions of momenta:
[itex] p_r = m\dot{r}[/itex], [itex]p_\theta = mr\dot{\theta}[/itex].
 
  • #3
jambaugh said:
Note by the way that you have two more Hamilton's equations for the angular components: [itex] \dot{\theta} = \cdots [/itex] and [itex]\dot{p}_\theta = \cdots[/itex]

[itex] q_1 = r, q_2 = \theta[/itex], [itex]p_1 = p_r, p_2 = p_\theta[/itex]

Next apply definitions of momenta:
[itex] p_r = m\dot{r}[/itex], [itex]p_\theta = mr\dot{\theta}[/itex].

Oh right, thanks. I totally forgot about theta.
I reach [itex]\dot p _\theta=0[/itex] (I think this implies the conservation of angular momentum) and [itex]\dot \theta = \frac{p _\theta}{mr^2}[/itex].
I think that [itex]p_ \theta =mr^2 \dot \theta[/itex] (that's what I reached) instead of [itex]p_ \theta =mr \dot \theta[/itex]. What do you say?
Ok, I'm going to tackle the rest after I eat.
 
  • #4
Using the relations you told me, I get [itex]m \dot r =mr \dot \theta ^2 - \frac{k}{r^2}[/itex] and [itex]mr^2 \dot \theta =0[/itex]. These are the equations of motion.
Now I tried to solve them (I likely made some algebra error somewhere) and reached [itex]r(t)=\sqrt[3]{- \frac{3kt}{m} }[/itex]. And [itex]\theta (t)=C[/itex], a constant, which I know is wrong.
 
  • #5
fluidistic said:
Using the relations you told me, I get [itex]m \dot r =mr \dot \theta ^2 - \frac{k}{r^2}[/itex] and [itex]mr^2 \dot \theta =0[/itex]. These are the equations of motion.
Now I tried to solve them (I likely made some algebra error somewhere) and reached [itex]r(t)=\sqrt[3]{- \frac{3kt}{m} }[/itex]. And [itex]\theta (t)=C[/itex], a constant, which I know is wrong.

When you are doing Hamiltonian mechanics, you want to work with [itex]p_j[/itex] instead of [itex]\dot{q}_j[/itex]. In this case, you shouldn't work with [itex]\dot{\theta}[/itex].

That said, write the Hamiltonian EoM for [itex]\theta[/itex]: [itex]\dot{p}_{\theta} = - \frac{\partial H}{\partial \theta}[/itex], from which you can conclude an important property for [itex]p_{\theta}[/itex].
Once you done that, you can rewrite the original Hamiltonian in terms of [itex]r[/itex] and [itex]p_r[/itex] only with certain effective potential and reduce the two dimensional problem to a one-dimensional mechanics problem.
 
  • #6
mathfeel said:
When you are doing Hamiltonian mechanics, you want to work with [itex]p_j[/itex] instead of [itex]\dot{q}_j[/itex]. In this case, you shouldn't work with [itex]\dot{\theta}[/itex].
Hmm ok.

That said, write the Hamiltonian EoM for [itex]\theta[/itex]: [itex]\dot{p}_{\theta} = - \frac{\partial H}{\partial \theta}[/itex], from which you can conclude an important property for [itex]p_{\theta}[/itex].
My Hamiltonian does not depend on theta so that I get that the generalized momentum of theta is worth 0.
I have [itex]H=\frac{1}{2m} \left ( p_r ^2 + \frac{p_ \theta ^2 }{r^2} \right ) +U(r)[/itex] with [itex]p_r=m \dot r[/itex] and [itex]p _\theta =m r^2 \dot \theta[/itex]. I assume I'm already wrong on this?
Once you done that, you can rewrite the original Hamiltonian in terms of [itex]r[/itex] and [itex]p_r[/itex] only with certain effective potential and reduce the two dimensional problem to a one-dimensional mechanics problem.
Ok, I'll try this. Thanks for helping me once again.
 
  • #7
fluidistic said:
Hmm ok.

My Hamiltonian does not depend on theta so that I get that the generalized momentum of theta is worth 0.
Are you sure that's what you get? What is the theta derivative of the Hamiltonian supposed to give you?
 
  • #8
fluidistic said:
Hmm ok.

My Hamiltonian does not depend on theta so that I get that the generalized momentum of theta is worth 0.

No, you get that the time derivative of generalized momentum of theta is 0.
fluidistic said:
I have [itex]H=\frac{1}{2m} \left ( p_r ^2 + \frac{p_ \theta ^2 }{r^2} \right ) +U(r)[/itex] with [itex]p_r=m \dot r[/itex] and [itex]p _\theta =m r^2 \dot \theta[/itex]. I assume I'm already wrong on this?

Ok, I'll try this. Thanks for helping me once again.
Looks okay except your misinterpretation above.
 
  • #9
fluidistic said:
Using the relations you told me, I get [itex]m \dot r =mr \dot \theta ^2 - \frac{k}{r^2}[/itex] and [itex]mr^2 \dot \theta =0[/itex]. These are the equations of motion.
Now I tried to solve them (I likely made some algebra error somewhere) and reached [itex]r(t)=\sqrt[3]{- \frac{3kt}{m} }[/itex]. And [itex]\theta (t)=C[/itex], a constant, which I know is wrong.

You set [itex]p_\theta = 0[/itex] when you should set [itex]p_\theta = const.[/itex].
(And yes I forgot to square the radius).

[itex] p_\theta = mr^2 \dot{\theta} = L[/itex] as constant. Solve this for [itex]\dot{\theta}[/itex] and eliminate from your other equations: [itex]\dot{\theta} = \frac{L}{m r^2}[/itex].

So [itex] \dot{p}_r = m\ddot{r} = mr\dot{\theta}^2 - \frac{k}{r^2} = m r \left( \frac{L}{m r^2}\right)^2 - \frac{k}{r^2}[/itex].

You have a single 2nd order differential equation in r alone.
I think then a substitution [itex] z = 1/r[/itex] will make this differential equation easier to solve (but it's been a while so play with it and see).

Once you have [itex]r(t)[/itex] you go back to the constant angular momentum equation and solve for theta.

[edit] Oh, yea you can't solve for [itex]r(t)[/itex] explicitly. But you can find [itex]r(\theta)[/itex]. Use [itex]\dot{r} = \dot{\theta}\frac{dr}{d\theta}[/itex].
 
Last edited:
  • #10
capandbells said:
Are you sure that's what you get? What is the theta derivative of the Hamiltonian supposed to give you?
I have no idea at all about what the theta derivative of the Hamiltonian is supposed to give me.
I've been corrected by others and now see my error of concluding that the generalized momentum of theta is worth 0, it's its time derivative that is worth 0.

mathfeel said:
No, you get that the time derivative of generalized momentum of theta is 0.

Looks okay except your misinterpretation above.
Thanks, I see it now.

jambaugh said:
You set [itex]p_\theta = 0[/itex] when you should set [itex]p_\theta = const.[/itex].
(And yes I forgot to square the radius).

[itex] p_\theta = mr^2 \dot{\theta} = L[/itex] as constant. Solve this for [itex]\dot{\theta}[/itex] and eliminate from your other equations: [itex]\dot{\theta} = \frac{L}{m r^2}[/itex].

So [itex] \dot{p}_r = m\ddot{r} = mr\dot{\theta}^2 - \frac{k}{r^2} = m r \left( \frac{L}{m r^2}\right)^2 - \frac{k}{r^2}[/itex].

You have a single 2nd order differential equation in r alone.
I think then a substitution [itex] z = 1/r[/itex] will make this differential equation easier to solve (but it's been a while so play with it and see).

Once you have [itex]r(t)[/itex] you go back to the constant angular momentum equation and solve for theta.

[edit] Oh, yea you can't solve for [itex]r(t)[/itex] explicitly. But you can find [itex]r(\theta)[/itex]. Use [itex]\dot{r} = \dot{\theta}\frac{dr}{d\theta}[/itex].
Ok thanks a lot.
So you say I can't solve explicitly for r(t) the differential equation [itex]\ddot r - \frac{L^2}{m^2 r^3}+\frac{k}{r^2}=0[/itex]. Instead I have to find [itex]r (\theta )[/itex] (how will this help?).
Also, how did you find [itex]\dot{r} = \dot{\theta}\frac{dr}{d\theta}[/itex]?
Edit: nevermind my last question. [itex]\dot r =\frac{dr}{dt}= \dot \theta \frac{dr}{d\theta }=\frac{d \theta }{dt} \frac{dr}{d\theta }[/itex] and the relation is obvious.
Ok I will try to use this.

Edit2: I would love any further tip. I'm heading to bed right now and hopefully I'll try harder when I wake up. I have no success as of now. I don't see in which equation I could replace [itex]\dot r by \dot \theta \frac{dr}{d\theta }[/itex].
 
Last edited:
  • #11
Second derivative is hard to integrate. Find from the Hamiltonian equations [itex]\frac{dr}{dt}[/itex] as function of [itex]r[/itex]. Use the chain rule and the definition of [itex]p_{\theta}[/itex] to make [itex]\frac{d}{dt}[/itex] into [itex]\frac{d}{d\theta}[/itex], then integrate that to find [itex]r(\theta)[/itex].

Remember that in addition to angular momentum [itex]P_{\theta}[/itex], the energy, which in this case is equal to the Hamiltonian is also a constant of motion. In order to specify the orbit, one must supply both information.
 
Last edited:
  • #12
mathfeel said:
Second derivative is hard to integrate. Find from the Hamiltonian equations [itex]\frac{dr}{dt}[/itex] as function of [itex]r[/itex]. Use the chain rule and the definition of [itex]p_{\theta}[/itex] to make [itex]\frac{d}{dt}[/itex] into [itex]\frac{d}{d\theta}[/itex], then integrate that to find [itex]r(\theta)[/itex].

Remember that in addition to angular momentum [itex]P_{\theta}[/itex], the energy, which in this case is equal to the Hamiltonian is also a constant of motion. In order to specify the orbit, one must supply both information.

Ok for your last suggest, I'll try to do it. But right now I'm totally lost in the equations when looking for [itex]r(\theta )[/itex]. I've "played" with 3 of the 4 Hamiltonian equations and I don't see how to get [itex]\dot r (r)[/itex]. Could you tell me which ones I should work with please?
 
  • #13
fluidistic said:
Ok for your last suggest, I'll try to do it. But right now I'm totally lost in the equations when looking for [itex]r(\theta )[/itex]. I've "played" with 3 of the 4 Hamiltonian equations and I don't see how to get [itex]\dot r (r)[/itex]. Could you tell me which ones I should work with please?

The only term that contains [itex]\dot{r}[/itex] is [itex]\dot{p}_r[/itex]. Invert the definition of Hamiltonian for it.

Don't you have a textbook on Hamiltonian mechanics? This should be a standard example.
 
  • #14
Note you can integrate the 2nd order equation once:
[itex] \ddot{r} = f(r)[/itex] by multiplying through by [itex]\dot{r}=v[/itex]

[itex] \dot{r}\ddot{r} = \dot{r}f(r)[/itex]

[itex] v \frac{dv}{dt} = f(r) \frac{dr}{dt}[/itex]
[itex] v dv = f(r)dr[/itex]
[itex] \int v dv = \int f(r)dr [/itex]
However this (I think) should just recover your Hamiltonian (over m) as the constant of integration.

[Edit] This is the point of using the Hamiltonian format to solve the problem. It avoids the 2nd order equation and the need to apply the above "trick".

So taking the Hamiltonian set equal to E the constant energy and substituting [itex]\dot{\theta}[/itex] as a function of the constant angular momentum L you should be able to solve for [itex]\dot{r}[/itex] as a function of r alone. You must integrate this equation. Here is where going to [itex]r(\theta)[/itex] and/or r = 1/z might be helpful.

Note that I do not have the solution readily in mind. You need to work through the details and possible dead ends.
 
Last edited:
  • #15
mathfeel said:
The only term that contains [itex]\dot{r}[/itex] is [itex]\dot{p}_r[/itex]. Invert the definition of Hamiltonian for it.

Don't you have a textbook on Hamiltonian mechanics? This should be a standard example.

Then I probably made an error. My [itex]\dot p _r[/itex] term doesn't contain [itex]\dot r[/itex]. That would explain my great confusion. I'll redo the algebra to see what I get for [itex]\dot p _r[/itex].
I don't really understand what you mean by "invert the def. of the Hamiltonian".
About the textbooks, I have the first ed. of Goldstein's book, and Landau's book on classical mechanics. I've searched this problem over the internet and the best I could find was exactly where I'm stuck (the equations of motions), but they are not solved in any book I've sneaked into nor on the Internet.
Thanks a lot jambaught, I'm going to check this out, but I'd rather try your first suggestion and then find the solution with your new approach.
 
  • #16
Refering to post #5, I have [itex]H=\frac{1}{2m} \left ( p _r ^2+\frac{L^2}{r^2} \right ) -\frac{k}{r}=E[/itex]. I know I can conclude that the total energy is constant and worth the Hamiltonian because it does not depend explicitly on time. Now I'm thinking how to identify the "effective potential energy".

Edit: Checked up in internet and I'm almost sure that the term [itex]\frac{L^2}{2mr^2}-\frac{k}{r}[/itex] is the effective potential energy.
 
  • #17
fluidistic said:
...I have [itex]H=\frac{1}{2m} \left ( p _r ^2+\frac{L^2}{r^2} \right ) -\frac{k}{r}=E[/itex].

You have an equation involving only [itex]r[/itex] and [itex] p_r = m\dot{r}[/itex]. In short you have a 1st order ODE. Can you integrate it?
 
  • #18
jambaugh said:
You have an equation involving only [itex]r[/itex] and [itex] p_r = m\dot{r}[/itex]. In short you have a 1st order ODE. Can you integrate it?
I didn't take any course on ODE yet. I've however self studied first order and second order ones, when they are linear if I remember well. I think the one I'm getting isn't linear.
I've Boas's book and Boyce di Prima's book that I could use in order to tackle my differential equation.
Just to be sure, I have [itex]E-\frac{m^2 \dot r ^2}{2m}-\frac{L^2}{2mr^2}+\frac{k}{r}=0[/itex].
To use a mathematician notation, I could write that my ODE is [itex]c_1+c_2 y ' ^2 + \frac{c_3}{y^2}+\frac{c_4}{y}=0[/itex]. I don't think I've studied these kind of ODE, unless it's of a Bernoulli's type?
Hmm I'll think about integration... let's see what will pop up. (Currently almost 2am, I guess type to sleep for me. Will come back to this tomorrow).
Edit: By the way, I have a question regarding theory of the Hamiltonian "formalism" or approach to classical mechanics. I think I'm only supposed to get first order differential equations for the equations of motion, instead of second order ones like the Lagrangian approach. Am I right on this? Then why did I get a second order differential equation in post #10?!
 
Last edited:
  • #19
fluidistic said:
...
Just to be sure, I have [itex]E-\frac{m^2 \dot r ^2}{2m}-\frac{L^2}{2mr^2}+\frac{k}{r}=0[/itex].
Try a little algebra! Solve for [itex]\dot{r}[/itex].
You get [itex] \dot{r} = f(r)[/itex] or
[tex]\frac{dr}{dt} = f(r)[/tex]
[tex] \frac{dr}{f(r)} = dt[/tex]
[tex] \int \frac{1}{f(r)} dr = t+C[/tex]
an implicit form... if you can integrate the mess.

The integration becomes tractable if you use the two "tricks" I mentioned and you can solve for [itex] r[/itex] as a function of [itex]\theta[/itex] to get the classic polar forms of the conic sections.

Edit: By the way, I have a question regarding theory of the Hamiltonian "formalism" or approach to classical mechanics. I think I'm only supposed to get first order differential equations for the equations of motion, instead of second order ones like the Lagrangian approach. Am I right on this? Then why did I get a second order differential equation in post #10?!

With Hamilton's equations you end up with a system of 1st order ODE's in twice as many variables. [itex] r,\theta, p_r, p_\theta[/itex]. It is in the substitution for solution that you end up back with the 2nd order equations of the Lagrangian method (in half as many variables [itex] r,\theta[/itex].)
 
  • #20
jambaugh said:
Try a little algebra! Solve for [itex]\dot{r}[/itex].
Thank you, that's encouraging :)
You get [itex] \dot{r} = f(r)[/itex] or
[tex]\frac{dr}{dt} = f(r)[/tex]
[tex] \frac{dr}{f(r)} = dt[/tex]
[tex] \int \frac{1}{f(r)} dr = t+C[/tex]
an implicit form... if you can integrate the mess.

The integration becomes tractable if you use the two "tricks" I mentioned and you can solve for [itex] r[/itex] as a function of [itex]\theta[/itex] to get the classic polar forms of the conic sections.
Ah I see, now this becomes clearer to me.
I reach [itex]\dot r = \pm \sqrt {\frac{2}{m}[E-U(r)_{\text{effective}}]}=f(r)[/itex].
Here I have a little confusion, in post #14, your [itex]f(r)= \ddot r[/itex] and now it's [itex]f(r)=\dot r[/itex]. I don't think that changes things much, but I'll investigate.
Anyway, I reach[itex]\pm \int \frac{dr}{\sqrt {\frac{2}{m}[E-U(r)_{\text{effective}}]}}=t+C[/itex]. I recognize integrals of these kinds, I think I've seen this in Landau's chapter on central forces. But yeah, I'd rather solve it at least once myself instead of just taking the solution for granted.
Am I right also if instead of my last integral, I set up [itex]\pm \int _{r_0} ^{r_1}\frac{dr}{\sqrt {\frac{2}{m}[E-U(r)_{\text{effective}}]}}=\int _{t_0}^{t_1}dt=t[/itex]. I'm almost sure that's a yes thanks to calculus 2, but I prefer to be sure. I actually prefer the latter form: definite integrals.
With Hamilton's equations you end up with a system of 1st order ODE's in twice as many variables. [itex] r,\theta, p_r, p_\theta[/itex]. It is in the substitution for solution that you end up back with the 2nd order equations of the Lagrangian method (in half as many variables [itex] r,\theta[/itex].)
Oh I didn't know this. Thank you so much for clearing this to me.
Edit: I reach [itex]\pm \int \frac{d\theta }{\dot \theta }=t+C[/itex]. Not sure this helps nor if I'm on the right direction. I'm still trying to figure out [itex]r(\theta )[/itex].
 
Last edited:

FAQ: Solving the Kepler problem with the Hamiltonian

What is the Kepler problem?

The Kepler problem is a classical mechanics problem that involves finding the motion of a single planet around the sun under the influence of gravity. It is based on Johannes Kepler's laws of planetary motion, which describe the elliptical orbits of planets around the sun.

What is the Hamiltonian in relation to the Kepler problem?

The Hamiltonian is a mathematical function that represents the total energy of a system. In the context of the Kepler problem, the Hamiltonian is used to describe the motion of a planet around the sun by considering the planet's position and momentum at a given time.

How is the Kepler problem solved using the Hamiltonian?

The Kepler problem can be solved by using the Hamiltonian equations, which are a set of differential equations that describe the evolution of the system's position and momentum over time. By solving these equations, the trajectory of the planet's motion can be determined.

What are the assumptions made in solving the Kepler problem with the Hamiltonian?

The main assumptions made in solving the Kepler problem with the Hamiltonian are that the planet and the sun are the only two objects in the system, and that the gravitational force between them is the only force acting on the planet. Additionally, it is assumed that the planet's orbit is elliptical and that the sun is at one of the foci of the ellipse.

What are the applications of solving the Kepler problem with the Hamiltonian?

Solving the Kepler problem with the Hamiltonian has many practical applications, such as predicting the motion of planets and other celestial bodies in our solar system. It is also used in space mission planning and in the study of orbital dynamics in astrophysics.

Back
Top