Norton's dome

Last updated
Cross section of Norton's dome, where h and x are measured in units of
2
g
2
/
(
3
b
4
)
{\displaystyle 2g^{2}/(3b^{4})}
. Cross section of Norton's dome.svg
Cross section of Norton's dome, where h and x are measured in units of .

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 by 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]

Contents

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]

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 on the frictionless surface is [6] , leading to the equation of motion for a particle of unit mass:

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, given by the solution:

In the second, the particle sits at the apex of the dome for a while, and then after an arbitrary period of time T starts to slide down the dome in an arbitrary direction. This is given by the solution: [1]

Importantly these two are both solutions to the initial value problem:

Therefore within the framework of Newtonian mechanics this problem has an indeterminate solution, in other words given the initial conditions and there are multiple possible trajectories the particle may take. This is the paradox which implies Newtonian mechanics may be a non-determinate system.

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]

Notice in the second case that the particle appears to begin moving without cause 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 so cannot be ruled out as non-physical.[ citation 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.

See also

Related Research Articles

<span class="mw-page-title-main">Polar coordinate system</span> Coordinates comprising a distance and an angle

In mathematics, the polar coordinate system is a two-dimensional coordinate system in which each point on a plane is determined by a distance from a reference point and an angle from a reference direction. The reference point is called the pole, and the ray from the pole in the reference direction is the polar axis. The distance from the pole is called the radial coordinate, radial distance or simply radius, and the angle is called the angular coordinate, polar angle, or azimuth. Angles in polar notation are generally expressed in either degrees or radians.

<span class="mw-page-title-main">Simple harmonic motion</span> To-and-fro periodic motion in science and engineering

In mechanics and physics, simple harmonic motion is a special type of periodic motion an object experiences by means of a restoring force whose magnitude is directly proportional to the distance of the object from an equilibrium position and acts towards the equilibrium position. It results in an oscillation that is described by a sinusoid which continues indefinitely.

<span class="mw-page-title-main">Equations of motion</span> Equations that describe the behavior of a physical system

In physics, equations of motion are equations that describe the behavior of a physical system in terms of its motion as a function of time. More specifically, the equations of motion describe the behavior of a physical system as a set of mathematical functions in terms of dynamic variables. These variables are usually spatial coordinates and time, but may include momentum components. The most general choice are generalized coordinates which can be any convenient variables characteristic of the physical system. The functions are defined in a Euclidean space in classical mechanics, but are replaced by curved spaces in relativity. If the dynamics of a system is known, the equations are the solutions for the differential equations describing the motion of the dynamics.

<span class="mw-page-title-main">Two-body problem</span> Motion problem in classical mechanics

In classical mechanics, the two-body problem is to calculate and predict the motion of two massive bodies that are orbiting each other in space. The problem assumes that the two bodies are point particles that interact only with one another; the only force affecting each object arises from the other one, and all other objects are ignored.

In theoretical physics and mathematical physics, analytical mechanics, or theoretical mechanics is a collection of closely related formulations of classical mechanics. Analytical mechanics uses scalar properties of motion representing the system as a whole—usually its kinetic energy and potential energy. The equations of motion are derived from the scalar quantity by some underlying principle about the scalar's variation.

In physics and astronomy, the Reissner–Nordström metric is a static solution to the Einstein–Maxwell field equations, which corresponds to the gravitational field of a charged, non-rotating, spherically symmetric body of mass M. The analogous solution for a charged, rotating body is given by the Kerr–Newman metric.

<span class="mw-page-title-main">Three-body problem</span> Physics problem related to laws of motion and gravity

In physics, specifically classical mechanics, the three-body problem is to take the initial positions and velocities of three point masses that orbit each other in space and calculate their subsequent trajectories using Newton's laws of motion and Newton's law of universal gravitation.

In orbital mechanics, mean motion is the angular speed required for a body to complete one orbit, assuming constant speed in a circular orbit which completes in the same time as the variable speed, elliptical orbit of the actual body. The concept applies equally well to a small body revolving about a large, massive primary body or to two relatively same-sized bodies revolving about a common center of mass. While nominally a mean, and theoretically so in the case of two-body motion, in practice the mean motion is not typically an average over time for the orbits of real bodies, which only approximate the two-body assumption. It is rather the instantaneous value which satisfies the above conditions as calculated from the current gravitational and geometric circumstances of the body's constantly-changing, perturbed orbit.

In classical mechanics, the Kepler problem is a special case of the two-body problem, in which the two bodies interact by a central force that varies in strength as the inverse square of the distance between them. The force may be either attractive or repulsive. The problem is to find the position or speed of the two bodies over time given their masses, positions, and velocities. Using classical mechanics, the solution can be expressed as a Kepler orbit using six orbital elements.

In theoretical physics, Nordström's theory of gravitation was a predecessor of general relativity. Strictly speaking, there were actually two distinct theories proposed by the Finnish theoretical physicist Gunnar Nordström, in 1912 and 1913 respectively. The first was quickly dismissed, but the second became the first known example of a metric theory of gravitation, in which the effects of gravitation are treated entirely in terms of the geometry of a curved spacetime.

Fluid mechanics is the branch of physics concerned with the mechanics of fluids and the forces on them. It has applications in a wide range of disciplines, including mechanical, aerospace, civil, chemical, and biomedical engineering, as well as geophysics, oceanography, meteorology, astrophysics, and biology.

<span class="mw-page-title-main">Routhian mechanics</span> Formulation of classical mechanics

In classical mechanics, Routh's procedure or Routhian mechanics is a hybrid formulation of Lagrangian mechanics and Hamiltonian mechanics developed by Edward John Routh. Correspondingly, the Routhian is the function which replaces both the Lagrangian and Hamiltonian functions. Although Routhian mechanics is equivalent to Lagrangian mechanics and Hamiltonian mechanics, and introduces no new physics, it offers an alternative way to solve mechanical problems.

<span class="mw-page-title-main">Hamilton's principle</span> Formulation of the principle of stationary action

In physics, Hamilton's principle is William Rowan Hamilton's formulation of the principle of stationary action. It states that the dynamics of a physical system are determined by a variational problem for a functional based on a single function, the Lagrangian, which may contain all physical information concerning the system and the forces acting on it. The variational problem is equivalent to and allows for the derivation of the differential equations of motion of the physical system. Although formulated originally for classical mechanics, Hamilton's principle also applies to classical fields such as the electromagnetic and gravitational fields, and plays an important role in quantum mechanics, quantum field theory and criticality theories.

The two-body problem in general relativity is the determination of the motion and gravitational field of two bodies as described by the field equations of general relativity. Solving the Kepler problem is essential to calculate the bending of light by gravity and the motion of a planet orbiting its sun. Solutions are also used to describe the motion of binary stars around each other, and estimate their gradual loss of energy through gravitational radiation.

This article will use the Einstein summation convention.

<span class="mw-page-title-main">Classical mechanics</span> Description of large objects physics

Classical mechanics is a physical theory describing the motion of objects such as projectiles, parts of machinery, spacecraft, planets, stars, and galaxies. The development of classical mechanics involved substantial change in the methods and philosophy of physics. The qualifier classical distinguishes this type of mechanics from physics developed after the revolutions in physics of the early 20th century, all of which revealed limitations in classical mechanics.

<span class="mw-page-title-main">Lagrangian mechanics</span> Formulation of classical mechanics

In physics, Lagrangian mechanics is a formulation of classical mechanics founded on the stationary-action principle. It was introduced by the Italian-French mathematician and astronomer Joseph-Louis Lagrange in his presentation to the Turin Academy of Science in 1760 culminating in his 1788 grand opus, Mécanique analytique.

In classical mechanics, the central-force problem is to determine the motion of a particle in a single central potential field. A central force is a force that points from the particle directly towards a fixed point in space, the center, and whose magnitude only depends on the distance of the object to the center. In a few important cases, the problem can be solved analytically, i.e., in terms of well-studied functions such as trigonometric functions.

In orbital mechanics, Kepler's equation relates various geometric properties of the orbit of a body subject to a central force.

In fluid dynamics Jeffery–Hamel flow is a flow created by a converging or diverging channel with a source or sink of fluid volume at the point of intersection of the two plane walls. It is named after George Barker Jeffery(1915) and Georg Hamel(1917), but it has subsequently been studied by many major scientists such as von Kármán and Levi-Civita, Walter Tollmien, F. Noether, W.R. Dean, Rosenhead, Landau, G.K. Batchelor etc. A complete set of solutions was described by Edward Fraenkel in 1962.

References

  1. 1 2 Norton, John D. (November 2003). "Causation as Folk Science". Philosophers' Imprint. 3 (4): 1–22. hdl:2027/spo.3521354.0003.004.
  2. Laraudogoitia, Jon Pérez (2013). "On Norton's dome". Synthese. 190 (14): 2925–2941. doi:10.1007/s11229-012-0105-z. S2CID   37756181.
  3. Bhat, Sanjay P.; Bernstein, Dennis S. (1997-02-01). "Example of indeterminacy in classical dynamics". International Journal of Theoretical Physics. 36 (2): 545–550. Bibcode:1997IJTP...36..545B. doi:10.1007/BF02435747. ISSN   1572-9575. S2CID   10195818.
  4. Reutlinger, Alexander (2013). A Theory of Causation in the Social and Biological Sciences. Palgrave Macmillan. p. 109. ISBN   9781137281043.
  5. Wilson, Mark (2009). "Determinism and the Mystery of the Missing Physics" (PDF). The British Journal for the Philosophy of Science. 60 (1): 173–193. doi:10.1093/bjps/axn052.
  6. 1 2 3 4 Fletcher, Samuel Craig (2011). "What counts as a Newtonian system? The view from Norton's dome". European Journal for Philosophy of Science. 2 (3): 275–297. CiteSeerX   10.1.1.672.9952 . doi:10.1007/s13194-011-0040-8. S2CID   10898530.
  7. 1 2 Malament, David B. (2008). "Norton's Slippery Slope". Philosophy of Science. 75 (5): 799–816. doi:10.1086/594525. ISSN   0031-8248. S2CID   2436612. PhilSci:3195.
  8. Norton, John. "The Dome". www.pitt.edu. Retrieved 20 January 2021.