there's a persistent urban legend out there, that the three body problem can not be solved
this, of course, is not true:
so when XKCD promulgates the myth, the time comes when a stand must be taken
sigh.
The classical problem of the solution of the motion of three bodies, moving under the influence of Newtonian gravitational dynamics only, is an old one.
The difficulty of the problem was quickly realised in the context of predicting the orbit of the Moon - just the Earth-Moon-Sun problem, though well posed, is extremely hard to even get to the point of having a formalism for a solution.
Poincare understood the problem, in particular that the solutions may be chaotic in a rigorous sense, though it took Lorenz and his better sense of public relations and framing to convey the whole "chaos" concept to the general, public decades later: the intrinsic chaos of the system is well illustrated by the Sitnikov problem, and the more general nature of the ergodicity is demonstrated by KAM theorem for the restricted three body problem.
A very well known solution to the general threefour body problem for a particularly interesting bound-free asymptotic incoming state. ooops, what can I say, I like this plot...
Of course a general and exact solution to the three body problem was found by Karl Sundman in 1912 (Sundman, K. E.: Memoire sur le probleme de trois corps, Acta Mathematica 36 (1912): 105-179.).
Ok, he was a mathematician, it was published in french, and it does not apply to a subset of the problem of measure zero, but it was a good start.
Pedants might object that Sundman's general solution is more descriptive than prescriptive, and is rather slowly convergent - but going to 10100 terms in a power series solution is really more of an engineering issue than anything fundamental.
It exists!
And, don't forget, nature solves these things in O(1) time, so clearly a faster solution algorithm exists for any given posed subset of the three body problem, by construction.
Now, that does not mean we're done with the three body problem, and indeed a number of PhD theses focused on various aspects of the classical and relativistic three body problem have been done in the last few decades.
One of my favourites is:
Dynamics of neutron stars and binaries in globular clusters or, menages a trois: Revitalizing burnt out degenerates through partner swapping
For example: initially bound, negative energy three body states are generally not stable, but a fraction can last a very long time, these generally decay by ejection leaving a more tightly bound pair; another process much studied, as it tends to produce unusual systems, is exchange, which is significant for negative total energy states, and leads to ejection of one body and replacement with another, often after a prolonged chaotic interaction.
These processes have been well quantified for a broad range of interesting initial conditions. For extended bodies, collisions of course also become important, but that can get messy real quick - still soluble, in the sense of producing a well defined final state, just messy.
sadly this was only the second best thesis title, with "Persistence of Charm in the Relentless Decay of Beauty" the clear winner - what can I say, these rocket scientists are such romantics.
So, I am happy to tell you that the classical three body problem is well under control by physicists; well, astrophysicists anyway, I can't speak for the atomic and quantum types, they seem to struggle with even simple bound states.
Not only that, Starlab is free, online, and will solve any classical three body problem.
You just provide the initial conditions (caution, actually solving the problem may, or may not, take an infinite amount of time and resources, but it will be solved, except for a subset of measure zero).
Of course, in relativity the two body problem is not solved, although much progress has been made numerically in recent years, to the point where mergers can be consummated without singularities crashing everything.
Gradual mergers, not just plunges! And not just equal masses!
Even with spin.
Even misaligned spin!
Interestingly, progress has also been made for a number of subsets of the relativistic three body problem, to the point where there is at least some predictive power subject to falsifiable experiments, even if no general solution is available. At least semi-classically.
Of course, in quantum gravity not only is the two body problem not solved, neither is the one body problem, or for that matter the zero body problem.
In string theory I think they are convinced that either a solution exists, or maybe all possible solutions exist, but they don't yet agree on what constitutes a "body" per se.
But, to say that physicists can't solve the three body problem...
well, some physicists can, thank you very much.
Another, less well known solution to a bound-free three body problem...
ok, I didn't say it was a simple and practical solution, in general, but then life is just like that
PS: don't forget there are an infinite number of weakly perturbative solutions, where an initially bound pair is adiabatically invariant to rapid flyby of single bodies.
This process dominates the bound-free cross-section even for negative energy initial states.
Not to mention the near trivial case of three initially unbound bodies with net positive energy, which only leads to bound states for rare very close encounters.
Assumning no dissipation of course, extended bodies require a bit more work.
- Log in to post comments
Tsk, Tsk. Picking on XKCD for what essentially amounts to semantics...
Still, a good jumping off point for a diatribe on the three-body problem.
I'm hoping your postscript is a dirty joke going over my head.
any excuse...
the PS is quite serious, it is a fundamental result that if you start with a tightly bound pair, most of the cross-section for three-body interaction is adiabatic: the bound pair has no change in energy, very small change in eccentricity and only some arbitary, calculable, phase change. Of course the third body, and center-of-mass of the bound pair, may change their direction - which is important when considering the subsequent interaction with other bodies at large distances.
I don't see anything dirty about phase changes under adiabatic invariance of tightly bound pairs perturbed by passing single bodies...
now don't get me started on four body interactions.
more embarrassingly, my first 3 body plot is, of course, a well known 4 body solution
John ought to have spotted that
Silly physicists always dealing with 0,1,2,3 bodies. The n-body problem is where it's at and that (at least under some proper fudging, err assumptions, I mean "definition of the problem") is PSPACE hard
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.5069
I found the hidden title to be pretty funny: "I wanted us to try finding an approximate numeric solution, but noooo."
yes, one of those, some in every field of science...
no wonder it didn't work out well
0,1, 2, 3... infinity
although 4 is actually kinda interesting
5 not so much
3 and 4 are always the most interesting ones (though usually these are dimensions: Poincare conjecture, computability of the classification of manifolds, quantum gravity, etc.) In CS theory they say "prove it for 3 and then generalize."
Hell, academia can't even solve the two body problem!
What I find interesting is that even non-science people use the "two body problem" phrase when referring to couples and career locations, so it is an example of physics slang leaking into the culture at large. I wonder when this slang propagated outside of the physics community.
that's relativity for you - backreaction is hard to deal with in the strong field limit
Funny that you bring a scattering problem into it but don't discuss Compton scattering.
it is not three body, and kinda trivial...
now I should have discussed superelastic scattering and its effect on tightly bound pairs, but that might have got a bit risque
It exists! And, don't forget, nature solves these things in O(1) time, so clearly a faster solution algorithm exists for any given posed subset of the three body problem, by construction.
I am not sure I understand your reasoning here. Are you claiming that there is a perfect, "fast" mathematical way to describe every natural phenomenon?
If that's true, can you explain the difficulty of expressing irrational numbers such as pi, and working with infinite quantities?
I am not a mathematician so I am probably not seeing the more subtle differences between those situations.
nope, I am saying that for any particular set of system of three bodies we know a fast method for simulating the dynamics, which takes linear amount of time to do, independent of the number of initial condition parameters, in some sense.
That is by analog simulation, rather than numerical simulation. Nature does the whole 1/r^2 force calculation fast.
Now there is an interesting question which can be posed, namely whether for some suitable "random" set of initial conditions, the time for the last system to reach a definite asymptotic outgoing state, is some interesting steep function of the number of systems to be simulated.
I suspect it might be.
Of course for non-random initial conditions, it is different.