To what extent does trajectory determine gravity sources?

Question

Suppose one has in-hand an accurate time-space trajectory in $\mathbb{R}^3$ of a (small) body, say an asteroid or satellite—effectively a point. To what extent does this trajectory determine the point masses that could gravitationally determine it (according to inverse-square gravitation)? Is this highly underdetermined, in that there are many point-mass distributions that would lead to the (exact) same trajectory, or does the trajectory essentially uniquely determine the masses? Perhaps this question only has a sharp answer with some assumptions on the size of the point masses, i.e., planetary or star-like, as opposed to spread-out asteroid belts or dust clouds...?
        
_{(source: iop.org)
        (Suggestive image from: "Spacetime symmetries and Kepler's third law," 2012, Class. Quantum Grav.: 29. 217002 (arXiv link)).}

---

(Added 9Feb13). In light of Ben Crowell's incisive analysis, and the various comments and answers (by Joel, Abhinav, Brendan, Theo) which point to fundamental nonuniqueness, permit me to rephrase the question:

Given an accurate (space-time) trajectory of a point-mass (planet) in a fixed coordinate system, and given a number $n$, under the assumption that there are $n$ stationary/fixed point masses (stars) that might have caused the planet's trajectory solely due to inverse-square Newtonian gravitation, does the trajectory of the planet determine the fixed stars' masses and positions?

It might be useful to distinguish general positions of the stars vs. special arrangements. If this can be answered for each $n$, then one could explore successively larger values of $n$.

Answer 1

Both Newtonian gravity[1] and general relativity can be expressed in a geometric form such that the trajectory of a test particle is a geodesic. When the theory is expressed in this form, the question becomes whether or not we can recover detailed information about an entire semi-Riemannian space from knowledge of a single geodesic. Typically there is absolutely zero information contained in a geodesic; the information content comes from incidence relations between different geodesics. (You could have information about whether a geodesic is self-intersecting, but even in a spacetime with closed timelike curves we don't expect self-intersection for a geodesic in general position.)

The question really presupposes some additional machinery, such as a global Cartesian coordinate system for space plus a Newton-style absolute time. The existence of geometrical formulations of Newtonian gravity shows that this machinery isn't fundamental to the theory. From the point of view of Isaac Newton, we assume an omniscient observer O who can see the state of all matter in the universe. O can tell the difference between an object that is moving inertially and one that is accelerating uniformly because of a sheet of mass a billion light years away. Such an inertially moving object implies an inertial frame of reference K. Once we have K, we can observe the motion of a test particle and say whether it's straight or curved.

So the answer to the question is that the trajectory of a single test particle tells us nothing at all about gravitational sources. Only an omniscient O who already knows about all distant sources can even construct K and describe the trajectory as something other than a geodesic.

To extract information about the spacetime, we need incidence relations between geodesics. As an example, suppose that two test particles cross paths, and that their world-lines intersect not just at that event but at some other, later event as well. The two geodesics form a lune. This tells us something about the Ricci curvature, which implies that there is at least one gravitational source whose attraction brought the particles back together.

This seems related to the Einstein hole argument.

[1] Giulini, "Some remarks on the notions of general covariance and background independence," http://arxiv.org/abs/gr-qc/0603087

Answer 2

In $\mathbb{R}^1$, an arbitrarily short part of a nonconstant trajectory determines the locations and sizes of a finite collection of distinct point masses. From the trajectory (in space-time, not space), you can find the acceleration on an interval.

Suppose $\sum_i m_i/(x-x_i)^2 = \sum_j m_j/(x-x_j)^2$ on a nonempty interval. Then their difference is a meromorphic function which is $0$ on an interval. Since the zeros are not isolated, the function is identically $0$. So, the sets of singularities $\lbrace x_i \rbrace$ and $\lbrace x_j \rbrace$ have to be the same, with the same coefficients.

Answer 3

For a bounded trajectory, then one can imagine placing the entire region inside a uniform spherical shell, which has no net gravitational effect on what happens inside (see wikipedia, also hyperphysics). Thus, no bounded trajectory can uniquely determine the ambient mass distribution.

Answer 4

Taking a cue from Joel's comment: it's easy to consider a trajectory going along the z-axis. A system of unit masses at $(1,0,0)$, $(-1,0,0)$, $(0,1,0)$ and $(0,-1,0)$ will give the same $(0,0,z)-t$ trajectory as for the system of unit masses at $(1,0,0)$, $(-1,0,0)$, $(\cos \theta, \sin \theta, 0)$ and $(-\cos \theta, -\sin \theta, 0)$.

Answer 5

Although this question has been answered many times, I would like to add the following simple way to generate examples. It is clear that in the plane any central force, no matter how complicated, generates circular orbits as special cases. There are many ways to distribute matter in three space to generate such a force field. For example, any distribution of mass (which can, of course, consist of point masses) along the $z$-axis will produce such a field in the $x,y$-plane. As a side remark, such configurations occur in practice---e.g., as the gravitational field generated by a wire.

I might add for those interested in the theme of trajectories that there is a considerable body of work on the question of which families of curves can occur as the trajectories of force fields, including a monograph "Differential-geometric aspects of dynamics", by Edward Kasner and his associates, much of which is easly accessible online. This is, however, not directly relevant to the query.