PhyslibAlpha.ClassicalMechanics.NortonDome.PhysicalSpace
The Norton dome in physical space
i. Overview
`NortonDome.Basic` writes the dynamics on the arc length `r`, with kinetic energy `½ m ṙ²` and potential energy `-m g h(r)`. This module identifies that chart dynamics with a point mass constrained to the surface of the dome, as `SimplePendulum.Geometric.PhysicalSpace` does for the pendulum.
The motion is radial, so it suffices to work in the vertical plane through the apex, with the apex at the origin and the vertical coordinate measured upwards. The profile is the arc-length parametrised curve `s ↦ (x(s), -h(s))`, where `x'(s)² + h'(s)² = 1` and `h'(s) = √s / g` give `x'(s) = √(1 - s/g²)` and `x(s) = (2g²/3) (1 - (1 - s/g²)^{3/2})`. The profile exists for `0 ≤ s ≤ g²`; at `s = g²` it is vertical and Norton's model stops. While the arc length is in that range the chart kinetic energy is `½ m ‖v‖²` by unit speed, and the chart potential energy is the gravitational potential `m g y` at height `y`, so the chart Lagrangian is the constrained Lagrangian.
ii. Key results
- `NortonDome.horizontal` is the horizontal distance `x(s)` of the profile from the apex, with its derivative `hasDerivAt_horizontal`; `NortonDome.unit_speed` is the identity `x'(s)² + h'(s)² = 1`. - `NortonDome.profile` is the profile curve `s ↦ (x(s), -h(s))` in the vertical plane, and `NortonDome.dome` its image on `0 ≤ s ≤ g²`. - `NortonDome.spaceTrajectory` is the position of the particle in the plane along a chart trajectory; it lies on the dome, `spaceTrajectory_mem_dome`, while the arc length is in range. - `NortonDome.deriv_spaceTrajectory` is the velocity of the particle in the plane, with the square of its speed `norm_sq_deriv_spaceTrajectory`. - `NortonDome.kineticEnergy_eq_space`, `NortonDome.potentialEnergy_eq_height`, `NortonDome.lagrangian_eq_space` and `NortonDome.energy_eq_space` identify the chart energies and Lagrangian with those of the point mass in physical space.
iii. Table of contents
- A. The profile of the dome in the plane - A.1. The horizontal coordinate and the unit-speed property - A.2. The profile curve and the dome - B. The particle's position along a trajectory - C. The particle's velocity and speed - D. The energies and the Lagrangian in physical space
iv. References
- Norton, J. D., *The dome: an unexpectedly simple failure of determinism*, Philosophy of Science 75 (2008), 786–798. - `Physlib.ClassicalMechanics.Pendulum.SimplePendulum.Geometric.PhysicalSpace` (the same identification for the pendulum).
A. The profile of the dome in the plane
A.1. The horizontal coordinate and the unit-speed property
The horizontal distance from the apex has derivative `√(1 - s/g²)`; with the slope `√s / g` of the depth this gives unit speed.
A.2. The profile curve and the dome
B. The particle's position along a trajectory
Along a chart trajectory `r` the particle is at the point of the profile at arc length `r t 0`, on the dome while that is in range.
C. The particle's velocity and speed
The velocity in the plane is the unit tangent `(x'(r), -h'(r))` times `ṙ`, so by unit speed the square of the speed is `ṙ²` while the arc length is in range.
D. The energies and the Lagrangian in physical space
The chart kinetic energy is that of the particle in the plane while the arc length is in range, and the chart potential energy is `m g y` at its height `y` at all times; the chart Lagrangian is the constrained Lagrangian `T - V`.
23 declarations
Horizontal distance of the Norton dome profile
For a Norton dome characterized by a parameter (representing gravitational acceleration), the horizontal distance from the apex at a given arc length is defined by the function: The profile of the dome is valid for arc lengths .
Explicit formula for the horizontal distance of the Norton dome profile
For a Norton dome with gravitational acceleration , the horizontal distance from the apex at arc length is given by the formula:
for the Norton dome profile
For a Norton dome, the horizontal distance from the apex evaluated at arc length is .
Derivative of the horizontal distance
Let be the horizontal distance of the Norton dome profile from the apex as a function of the arc length , and let denote the characteristic gravitational parameter of the dome. For any , the derivative of the horizontal distance with respect to the arc length is given by:
The horizontal distance function is differentiable
Let be the horizontal distance of the Norton dome profile from the apex, considered as a function of the arc length . The function is differentiable on .
Unit Speed Identity for the Norton Dome Profile
For any real number representing the arc length such that , where is the characteristic parameter of the Norton dome, the following identity holds: In the context of the dome's geometry, this identity represents the unit-speed property , where is the derivative of the horizontal distance and is the derivative of the vertical depth with respect to the arc length .
Profile curve of the Norton dome
The profile of the Norton dome is a curve in (representing the vertical plane through the apex) parameterized by the arc length . The position at arc length is given by the vector , where is the horizontal distance from the apex and is the depth of the dome surface below the apex.
The first component of the Norton dome profile is the horizontal coordinate
For any real number representing the arc length, the first component (index 0) of the Norton dome's profile curve is equal to the horizontal distance from the apex. Specifically, if the profile is given by , then .
The vertical coordinate of the Norton dome profile is
For any arc length , the vertical coordinate (the second component) of the Norton dome's profile curve at is equal to , where is the depth of the dome surface below the apex.
The profile curve of the Norton dome evaluated at arc length is the origin . This identifies the apex of the dome with the origin of the coordinate system.
The Norton dome as the image of the profile curve on
The Norton dome is defined as the subset of the vertical plane through its apex formed by the image of the profile curve for arc lengths in the closed interval . That is, , where is the gravitational acceleration parameter.
for
For any real number representing the arc length such that , where is the gravitational acceleration, the point on the profile curve of the Norton dome is an element of the set .
Physical space trajectory from arc length trajectory on the Norton dome
The function maps a chart trajectory , which represents the arc length of a particle on the Norton dome as a function of time, to its corresponding trajectory in 2-dimensional physical space. At each time , the position in the vertical plane is given by the profile curve evaluated at the current arc length , i.e., .
The horizontal component of the physical trajectory is
For a chart trajectory representing the arc length of a particle on a Norton dome at time , the horizontal component (the 0-th coordinate) of the particle's physical position vector in 2D space is equal to the horizontal distance function evaluated at the current arc length. That is, where is the horizontal coordinate of the dome's profile.
Vertical component of physical trajectory is
For a trajectory representing the arc length of a particle on the Norton dome at time , the vertical coordinate (the second component) of its position in 2D physical space is the negative of the depth of the dome at that arc length: where is the depth function of the Norton dome and is the scalar value of the arc length at time .
The physical trajectory lies on the dome for arc lengths in
Let be a trajectory representing the arc length of a particle as a function of time . If at time the arc length satisfies (where is the gravitational acceleration), then the particle's position in 2-dimensional physical space, given by the mapping , is an element of the set defining the Norton dome.
Differentiability of the Physical Space Trajectory on the Norton Dome
Let be an arc length trajectory on the Norton dome. If is differentiable with respect to time, then the corresponding physical trajectory in 2-dimensional space, given by , is also differentiable with respect to time.
Velocity of the physical trajectory on the Norton dome **End of informal name**
Let be a differentiable arc length trajectory of a particle on a Norton dome, and let denote the gravitational acceleration. The velocity of the particle in the vertical 2D plane at time is the derivative of its physical space trajectory, given by: where is the rate of change of the arc length with respect to time. This velocity vector corresponds to the unit tangent vector to the dome's profile curve multiplied by the scalar speed .
The Squared Physical Speed Equals the Squared Derivative of the Arc Length for the Norton Dome
Let be a differentiable trajectory representing the arc length of a particle on the Norton dome. If at time the arc length is within the valid range , where is the acceleration due to gravity, then the square of the speed of the particle in 2D physical space (the norm of the time derivative of the physical trajectory) is equal to the square of the time derivative of the arc length: where is the position of the particle in the vertical plane (the `spaceTrajectory`).
Chart Kinetic Energy Equals Physical Kinetic Energy for the Norton Dome
Let be a differentiable trajectory representing the arc length of a particle of mass on a Norton dome with gravitational acceleration . For any time such that the arc length is within the valid range , the chart kinetic energy is equal to the kinetic energy in 2D physical space: where (the `spaceTrajectory`) is the position of the particle in the vertical plane.
Chart Potential Energy for the Norton Dome Trajectory
For any trajectory representing the arc length of a particle on the Norton dome, and for any time , the chart potential energy is equal to the gravitational potential energy in physical space, , where is the mass, is the gravitational acceleration, and is the vertical coordinate (height) of the particle in 2D physical space at time .
Chart Lagrangian of the Norton Dome Equals the Physical Space Lagrangian
Consider a particle of mass on a Norton dome with gravitational acceleration . Let be a differentiable trajectory representing the arc length of the particle from the apex. For any time such that the arc length is within the range , the chart Lagrangian evaluated at the current state is equal to the constrained Lagrangian of the particle in physical space: where is the velocity vector of the particle in 2D physical space and is its vertical coordinate (height).
Chart Energy Equals Physical Space Energy for the Norton Dome
Consider a particle of mass on a Norton dome under gravitational acceleration . Let be a differentiable trajectory where represents the arc length from the apex at time . For any time such that the arc length is within the valid range , the total chart energy is equal to the total mechanical energy of the particle in 2D physical space: where is the velocity vector of the particle in physical space (the derivative of the spatial trajectory) and is its vertical coordinate (height).
