Norton's dome

Norton's dome is a thought experiment that exhibits a non-deterministic system within the bounds of Newtonian mechanics. It was devised by John D. Norton in 2003.^[1][2] It is a special limiting case of a more general class of examples from 1997 due to Sanjay Bhat and Dennis Bernstein.^[3] The Norton's dome problem can be regarded as a problem in physics, mathematics, and philosophy.^[4][5][6][7]

Description

The model consists of an idealized particle initially sitting motionless at the apex of an idealized radially symmetrical frictionless dome described by the equation^[6][7]

${\displaystyle h={\frac {2b^{2}}{3g}}r^{\frac {3}{2}}\;;\;0\leq r<{\frac {g^{2}}{b^{4}}},}$

where h is the vertical displacement from the top of the dome to a point on the dome, r is the geodesic distance from the dome's apex to that point (in other words, a radial coordinate r is "inscribed" on the surface), g is acceleration due to gravity and b is a proportionality constant.^[6]

From Newton's second law, the tangent component of the acceleration on a point mass resting frictionlessly on the surface is ${\displaystyle a_{\parallel }=b^{2}{\sqrt {r}}}$.^[6]

Solutions to the equations of motion

Norton shows that there are two classes of mathematical solutions to this equation. In the first, the particle stays sitting at the apex of the dome forever. In the second, the particle sits at the apex of the dome for a while, and then after an arbitrary period of time starts to slide down the dome in an arbitrary direction. The apparent paradox in this second case is that this would seem to occur for no discernible reason, and without any radial force being exerted on it by any other entity, apparently contrary to both physical intuition and normal intuitive concepts of cause and effect, yet the motion is still entirely consistent with the mathematics of Newton's laws of motion.^{[citation needed]}

To see that all these equations of motion are physically possible solutions, it's helpful to use the time reversibility of Newtonian mechanics. It is possible to roll a ball up the dome in such a way that it reaches the apex in finite time and with zero energy, and stops there. By time-reversal, it is a valid solution for the ball to rest at the top for a while and then roll down in any one direction. However, the same argument applied to the usual kinds of domes (e.g., a hemisphere) fails, because a ball launched with just the right energy to reach the top and stay there would actually take infinite time to do so.^{[8][non-primary source needed]}

Resolutions to the paradox

While many criticisms have been made of Norton's thought experiment, such as it being a violation of the principle of Lipschitz continuity (the force that appears in Newton's second law is not a Lipschitz continuous function of the particle's trajectory -- this allows evasion of the local uniqueness theorem for solutions of ordinary differential equations), or in violation of the principles of physical symmetry, or that it is somehow in some other way "unphysical", there is no consensus among its critics as to why they regard it as invalid.

Indeterminate derivatives

A simple resolution of the thought experiment is as follows, however:

The entire argument hinges on the behavior of the particle at the point ${\displaystyle r=0}$, during a time period where it has zero velocity. Traditional Newtonian mechanics would say that the position of the particle would, infinitesimally be

${\displaystyle h={\frac {F}{2m}}(\Delta t)^{2}}$ ,

for some small time ${\displaystyle \Delta t}$, but because the second derivative of the surface does not exist at this point, the force is indeterminate. It's therefore completely sensible that the infinitesimal motion of the object is also indeterminate.

This moves the paradox to the question of whether a surface with no second derivative is unphysical.

See also

• Indeterminism
• Spontaneous symmetry breaking

References

External links

• John Norton's webpage for the Norton dome problem

This page was last edited on 9 July 2023, at 06:02