Yes, that is exactly right. Not only in any direction, but beginning at any time.
The easiest way to see this is described at the end: imagine the ball is initially in motion and the initial conditions are precisely those that bring it precisely to rest at the apex of the dome at some time T. (Making this possible is the reason the dome has to be a specific shape. Not all shapes allow this.) The time-reversal of this motion is the ball beginning to move in some arbitrary direction at some arbitrary time.
The "ball rolling to the top of the sphere" requires infinite time. "Some arbitrary time" is an expression of a finite time.
You cannot simple mix ideas of finite and infinite and have the result make sense, as anyone who has stayed at the Hilbert Hotel knows. https://en.wikipedia.org/wiki/Hilbert's_paradox_of_the_Grand...
The next step would be to verify that the paths always stay on the surface. The mathematics shown says the point always follows the surface, but I don't see a demonstration that that's true.
I no longer have the skills to easily do this calculation.
No it doesn't, because it's not a sphere. The dome is specifically designed so that it takes finite time. There's zero involvement of infinity, or mixing infinity, here.
Can you explain why?
The skit at https://www.youtube.com/watch?v=xPzR_D9qKeo gives some examples. The one at https://youtu.be/xPzR_D9qKeo?t=165 is pretty close to this example "if it's in physics, it's invertable."
That doesn't mean that if it's invertable it's in physics.
Are the inverse dynamics of this system still in Newtonian physics? For example, is is the inverse path actually on the described surface or does it detach? How does a moving mass have an instantaneous jerk with no change in velocity?
This is a red herring. It sounds plausible, but there is no trajectory that does this. This is the weakest paragraph in the original post, and I am not sure whether this is intentional (because the demonstration sounds truthy if you don’t go too deep in the details) or whether it was not entirely thought out. There is some discussion about the time-reversal thing here: https://blog.gruffdavies.com/2017/12/24/newtonian-physics-is... . There isn’t much to discuss however, because ultimately it is just a distraction.
What this does not change, however, is that the dome does not demonstrate non-determinism. The apparent demonstration hinges on logical errors that remain errors regardless of the framework used, be it classical or quantum mechanics, or relativity.
You are right, I was missing some conditions. The higher order derivatives need to be zero as well.
> If you set velocity = velocity = 0, then the ball staying at the top is a valid solution, AND the ball rolling down the hill (in any direction) is also a valid solution.
It is a valid solution to the f=ma equation. It is not a valid trajectory in Newtonian physics because it violates other principles. It is a “gotcha” only if you think that Newton’s second law is the entirety of classical mechanics.
> If this sounds confusing (it did for me), look at the example at the end, it's possible to do the reverse - send the ball rolling up the hill with perfect velocity, such that it stops at the very top after time T.
This paragraph is confusing. And does not demonstrate much of anything, instead asserting facts that we are supposed to believe.
In the time-reversal “experiment”, where the particle comes from the rim towards the apex, it ends up at the apex with a non-zero fourth derivative, because of the pathological shape of the dome. It cannot stay on the apex for any length of time, even with a velocity of 0. It is completely different from a particle starting at rest on the apex.
> And if that is possible, the opposite is also possible because NM is time reversible.
It is not.
Could you please elaborate which Newtonian principles it does violate?
This is related to another formulation of Newton’s first law: if there is a force that pushes the ball at some time T, it implies that there is another body that felt the opposite force.
Another one is a bit more involved, but basically a mechanical system cannot change its symmetry by itself. In this case, the initial state with a ball at rest has a radial symmetry with a centre on the apex of the dome. This is not true anymore if the ball moves in one direction. This is related to the conservation of momentum.
There are a couple of points that can be solved easily, but are clearly defects in the original formulation of the problem. for example, the height according to the equations is not a length, which is not a problem itself (we can just multiply by an arbitrary factor with the right dimensions) but an indication of sloppy thinking and hand waving. Similarly, the force is not bounded in the original formulation. Again, this can be fixed by restricting the valid range for r, but is rather messy.
I think this example just illustrates a case where the Newtonian model of reality simply does not describe reality itself
The thing about symmetry breaking also doesn't make much sense. I guess you're trying to appeal to Noether's theorem, but Noether's theorem in classical mechanics is a consequence of f = ma. You derive the Lagrangian formulation of mechanics from f=ma and Noether's theorem from that. However the weird solution when then ball suddenly randomly falls down the dome after staying put for an arbitrary time is completely consistent with f=ma, so that can't help you here.
In any case the radial symmetry you're looking for (the system is invariant under rotations around the peak of the dome) implies conservation of angular momentum about this point, and not about any other point (since the setup is manifestly not symmetric under rotations about any other point). However (one can easily check) that for both the static solution and the randomly starts moving solution, the angler momentum about the axis through the peak of the dome is always zero.
The argument is basically assuming that the particle moves, showing that it moves in a way that respects the second law, then restating the first law to be a special case of the second to avoid the causal language it contains and to make it completely redundant.
Even then I'm not sure that would save you in general, since it should be possible to cook up examples where the motion is some non-analytic thing like a portion of a "bump function".
Edit: by the way, a more modern formulation of the first law is essentially that there are no privileged inertial frames. All inertial frames are equally valid. This is straight-up false in this setup since obviously the rest frame of the dome is privileged (since the dome is given infinite inertial mass).
I agree! But at the same time, there is no moment at which a net force compels the particle to leave a state of rest. The criteria you are putting forwards with that sentence isn't that of the first law, it's just a consequence of the second law. The first law makes a statement that force is required to cause a body to leave a state of rest, but that's not what we have here.
We just postulate that it must stop being at rest immediately after T, and then we find a force as a result of it not being at rest anymore. This inverts the causality that NFL requires, and because it doesn't have give a cause for the particle to leave the state of rest, which the 1st law requires, it's not a valid physical solution in Newtonian mechanics.
Here is Wikipedia's translation of the first law, which is as good as any:
> Every body continues in its state of rest, or of uniform motion in a straight line, unless it is compelled to change that state by forces impressed upon it.
In our trajectory, the body is not compelled to change its state by a force impressed on it. It's in a stable state, then we arbitrarily decide that it will change it's state immediately after T, and then we show that this leads to a trajectory which satisfies the second law. But since it changes state without being compelled by a force, it's no longer a trajectory which satisfies the first law.
> The argument you'd have to make would be to change Newtonian mechanics so the first law is no longer a special case of the second law
I'm not changing Newtonian mechanics - Newton's first law is not a special case of the second law. It makes a statement about cause and effect. The second law doesn't - it's just a differential equation, which does not have such a content. The article redefines the first law to strip it of its causal content and instead make it a trivial statement, but that's not what the first law plainly states. In Newtonian physics, force is necessary to cause a change in velocity, it's not simply that force and acceleration co-occur.
> but actually says something nontrivial about all of the time-derivatives of position rather than just the first two
No, this isn't necessary. If you want, you can instead understand it as something about the nth derivative of position, and that way you can recover perfect reversibility, but you don't have to. You can just keep Newtonian mechanics as is, and recognize that they describe a causal system, and not just a system of differential equations (which make no statements about causation in and of themselves), but then you lose perfect reversibility for some pathological trajectories like this one.
> Even then I'm not sure that would save you in general, since it should be possible to cook up examples where the motion is some non-analytic thing like a portion of a "bump function".
I'm not arguing for the infinite derivative modification either, but I don't see how that's the case - if you have a non-analytic function then some derivatives don't exist, and if they don't exist then they wouldn't be able to satisfy the infinite derivative formulation. Seems to me that such a law would directly eliminate all non-analytic trajectories.
(Note that the article goes on at length separating Newtonian mechanics from the "real world" or whatever)
> That is just not going to happen in (classical) reality, though. Because once you properly set the initial state of the ball (force=velocity=0, or any other values), then the solution becomes unique
If you set velocity = velocity = 0, then the ball staying at the top is a valid solution, AND the ball rolling down the hill (in any direction) is also a valid solution.
If this sounds confusing (it did for me), look at the example at the end, it's possible to do the reverse - send the ball rolling up the hill with perfect velocity, such that it stops at the very top after time T. And if that is possible, the opposite is also possible because NM is time reversible.