101

Consider the usual three-body problem with Newtonian $1/r^2$ force between masses. Let the three masses start off at rest, and not collinear. Then they will become collinear a finite time later by a theorem I proved some time ago. (See the papers "Infinitely Many Syzygies" and "The zero angular momentum three-body problem: all but one solution has syzygies" available on my web site or the arXivs.) Let $t_c$ denote the first such time.

Write $r_{ij} (t)$ for the distance between mass $i$ and mass $j$ at time $t$.

Question 1. For general masses $m_i >0$, is it true that the "moment of inertia" $I = m_1 m_2 r_{12}^2 + m_2 m_3 r_{23}^2 + m_1 m_3 r_{13}^2$ monotonically decreases over the interval $(0, t_c)$?

Question 2. If the masses are all equal and if the initial side-lengths satsify $0 < r_{12}(0) < r_{23} (0)< r_{13} (0)$
is it true that these inequalities remain in force: $0 < r_{12} (t) < r_{23} (t) < r_{13}(t)$ for $0 < t < t_c$? In other words: if the triangle starts off as scalene (not isosceles, and having nonzero area) does it remain scalene up to collinearity?

Motivation: The space of collinear triangles, consisting of triangles of zero area, acts like a global Poincare section for the zero-angular momentum, negative energy three-body problem. To obtain some understanding of the return map from this space to itself the "brake orbits"-- those solutions for which all velocities vanish at some instant -- seem to play an organizing role. Answering either questions would yield useful information about brake orbits.

Aside: I suspect that if the answers to either question is yes for the standard $1/r^2$ force, then it is also yes for any attractive "power law" $1/r^a$ force between masses, any $a > 0$.


added, Sept 20, 2010. The bounty is for an answer to either question 1 or 2.

I've made partial progress toward 2 using variational methods (direct method of the calculus of variations). I can prove that if a syzygy is chosen anywhere in a neighborhood of binary collision (so $r_{12}(t_c) = \delta$, small, $r_{23} (t_) = r_{13}(t_c) + \delta$) then there exists a brake orbit solution arc ending in this syzygy and satisfying the inequality of question 2. The proof suggests, but does not prove, that the result holds locally near isosceles, meaning for brake initial conditions in a neighborhood of isosceles brake initial conditions ( so
$r_{13} (0) = r_{12} (0) + \epsilon$). If I had uniqueness [modulo rotation and reflection] of brake orbits with specified syzygy endpoints, then my proof would yield a proof of this local version of the alleged theorem.
Unfortunately, my proof does not exclude the possibility of more than one orbit ending in the chosen syzygy, one of which violates the inequality.

David Zhang
  • 1,292
  • I think we're trying to use arXiv classifications where they're synonymous with user defined ones: hence "ds.dynamical-systems" and "ca.classical-analysis". That said, I'm not certain what - if any - "tagging policy" the moderators have adopted – Yemon Choi Feb 03 '10 at 06:30
  • 153
    I just wanted to chime in to say that this is perhaps the most "gangster" question title on MO. – Harrison Brown Feb 03 '10 at 06:40
  • 6
    I think the title of the post might be a bit misleading since it could be taken to imply a fourth body. In other words, one could read that as dropping three bodies in a single gravitational field which is a different problem than the one you are proposing (which is a fascinating problem, by the way). – Ian Durham Feb 03 '10 at 12:32
  • 2
    Can you answer these questions for infinitesimal perturbations of an isosceles configuration? If so, perhaps it would help to restrict the cases on the boundary of those which satisfy those conditions, e.g., ones which become isosceles or singular at the moment of collinearity. – Douglas Zare Feb 03 '10 at 16:18
  • OK, this is a more perplexing problem than I first thought. I was convinced (from my years spent working on satellites) that I had a counter-example to your first question. My counter-example failed miserably when it was subjected to a rigorous treatment. Grrr... – Ian Durham Feb 21 '10 at 17:41
  • 1
    After more thought, here's a suggestion for answering the first question. Could it (a monotonically decreasing I) possibly follow the minimization of the action? – Ian Durham Feb 21 '10 at 19:52
  • I meant "follow from". Sorry. – Ian Durham Feb 21 '10 at 20:06
  • 7
    @Harrison: As long as Stringer isn't dropping bodies, he's not our problem. – Sheikraisinrollbank Sep 16 '10 at 10:56
  • 2
    The papers are at http://count.ucsc.edu/~rmont/papers/LeviS.pdf http://count.ucsc.edu/~rmont/papers/noSyzygies.pdf (perhaps links should be added?) – j.c. Sep 20 '10 at 20:07
  • 3
    "they will become collinear a finite time later": You hardly need this, but I think this is a remarkable theorem! – Joseph O'Rourke Sep 20 '10 at 23:00
  • Is there a more precise term for the inertia term you are minimizing. I see products of masses so it makes me think you are looking at the reduced mass of the system? I'm just trying to gain some physical insight about your I quantity – Alex R. Sep 21 '10 at 02:52
  • This $I$ is the moment of inertia (`resistance to rotating') of the triangle formed by the three masses, positioned at $q_1, q_2, q_3$ in the plane, w.r.t. their common center of mass, if you were to freeze the lengths $r_{ij}$ between them instantaneously, and place the given masses $m_i$ at these given vertices $q_i$. Besides the formula for $I$ given in the question statement, one has the identity $I = m_1 |q_1|^2 + m_2 |q_2|^2 + m_3 |q_3|^2$ (another Lagrange identity), true provided the center of mass is at the origin. – Richard Montgomery Oct 02 '10 at 22:20
  • A comment to Ian's 1st Feb 21 question.
    Yes: I expect $I$ to be monotonically decreasing up to (and past) syzygy. Numerical experiments confirm this expectation, so far.
    – Richard Montgomery Oct 02 '10 at 22:21
  • @Harrison Brown: yes, see also http://mathoverflow.net/questions/53122/mathematical-urban-legends/53738#53738 – Zsbán Ambrus Jun 10 '13 at 17:49

1 Answers1

1

I believe your first proof is trivial since any 3 points may always be placed on a plane and since their gravity will attract along the plane they will remain on it in perpetuity. Then any 2 points say $a$ and $b$ can be placed on a line and their centre of gravity plotted on the line.

Since the centre of gravity of $a$ and $b$ is on this line, this line must accelerate across the plane towards $c$ until $c$ crosses the line. For $c$ never to reached $ab$ would require the entire system to be generating a state of its own perpetual acceleration opposing the direction from $c$ to its nearest point on $ab$, and creating a perpetual angular acceleration around the centre of gravity of $a$ and $b$; a contradiction since there is no fourth mass with respect to which the system $abc$ could be accelerating.

Moving on to the monotonic decrease in momentum, if we choose $c$ such that $c$ is the body which passes between the other two then holding the line $ab$ as a reference point, $a$ and $b$ must move towards each other along $ab$ so $I_{ab}$ monotonically decreases, and $c$ moves towards some point between $a$ and $b$ until it passes between them so again $I_{ca}+I_{cb}$ must decrease monotonically.

Re the final part, the triangles will remain scalene until $t_c$ but will not necessarily do so in perpetuity. This is because it will be the body which is closest to the other two which passes between them. If we draw a scalene triangle, exactly one of the vertices connects the shortest two sides. This body (say $a$) will move between the other two and since it is closer to both of the other two than they are to each other, it will approach both of them faster than they close the distance between each other.

Furthermore due to the inverse square law it will approach the body nearest to it faster than it approaches the other, and therefore there is no means by which the ordering of their distances can change before $a$ reaches the line between $b$ and $c$, which is what would be required to create an isosceles or equilateral triangle from a scalene one.

  • Thanks Robert for the feedback. My ``first proof'' result (about existence of collinear instants) is known to be false when the total energy is positive: simply send each mass outward faster than its `escape velocity'. But you do not use negativity of energy in your argument. Can you think of a way that negativity of energy might enter into your thinking on this situation? – Richard Montgomery May 16 '17 at 16:56
  • @RichardMontgomery if I interpret your meaning correctly, one or more masses are moving outwards faster than escape velocity would negate my argument that "this line ($ab$) must accelerate across the plane towards $c$ until $c$ crosses the line. In stating that, I assumed the bodies start out stationary. Although they would still accelerate together they would do so having started out on divergent paths, and the relative acceleration of $ab$ towards $c$ would be asymptotic towards some permanently divergent path; insufficient to halt their divergence. Is that what you meant? – it's a hire car baby May 16 '17 at 17:12
  • @RichardMontgomery re-reading your question and the matters you're touching upon, perhaps this is the answer you are looking for. If you were to define in some way the divergent paths which the bodies move asymptotically towards, I believe this would encode some of the energy information similarly to the ways the collinear triangles do for negative energy states. – it's a hire car baby May 16 '17 at 17:30
  • 1
    I will have time to think about what you wrote more carefully next week. Your first proof' is heuristically good. The problem with turning it into a rigorous proof is that the line connecting any two of the bodies keeps moving. How do you know it is not movingaway' from the third body faster than the third body is approaching it? That is true, for at least one decomposition ab; c, but since by fixing a line you are working in a non-inertial reference plane, I do not think you've proved it , even when starting all three bodies at rest. – Richard Montgomery May 18 '17 at 03:54
  • @RichardMontgomery A good point! That would require it to have attained escape velocity by drawing energy off the other two. I'm not an expert and you almost certainly know the answer to this, but I think it would have to encircle them both first to do that, also completing the proof. – it's a hire car baby May 18 '17 at 10:03
  • Here's a perhaps elegant proof. The triangle not being isoscoles, each body will see the other two either approach or diverge in the sky. If they cross or reach opposing points in the sky, the proof is complete.

    If they were to approach and then diverge (which I don't think they can), they could not do so again until they were in the opposite side of the sky, in which case the planets have crossed and the proof is complete.

    – it's a hire car baby May 18 '17 at 10:03
  • If they were to asymptotically approach some point or pair of points in the sky, then the most central body is approaching the line joining the other two asyptotically. But the bodies either end of that line are attracting each other and are within escape velocity and therefore they will at some point approach, converging their gravity vectors and increasing the acceleration of the central body to their line, which is incompatible with an asymptotic approach. – it's a hire car baby May 18 '17 at 10:03