How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
The linear drag model: a phenomenological velocity-proportional resistance with a declared coefficient
Adoption of a constitutive force model for the interaction of a labeled particle with a medium: a linear drag force with a declared coefficient , optionally combined with a constant applied force. The model is phenomenological and restricted: it is adopted for a stated regime (slow motion in a viscous medium, the range in which the linear/Stokes form is used), its coefficient is a model parameter depending on body and medium, and the model neglects the random component of the environment's force. The item asserts no measured value, no derivation of the coefficient from the equation of motion, and no claim that the model applies to a given real motion.
Postulate
(i) Setting. Work in the force branch of Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance with one labeled particle of fixed mass (Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses clause (v)) in a fixed inertial frame, with time window and configuration domain , and with the particle's coordinate position and coordinate velocity (Coordinate velocity and acceleration of a worldline in an inertial frame, and the spatial velocity and acceleration vectors). The particle moves through a medium that fills the region of the motion and is at rest in the chosen frame. The medium is not one of the model's particle labels, so its effect on the label is an external force of the model in the sense of clause (i) of Restricted interaction models: pair decompositions, antisymmetry and centrality options, potential forces and the gravitational branch: the decomposition into the label's own dynamics and the medium's effect is part of the model's declaration.
(ii) The model. Adopt as a constitutive model of the medium's net force the linear drag model with a declared coefficient of dimension , read in kilograms per second (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework):
optionally combined, through the additive composition of clause (v) of Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance, with a declared constant applied force , where is a constant parameter of dimension (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework). The resulting force map of the model is
the equation of a label whose only interactions are the constant applied field and the linear resistance of the medium. The model is defined for all .
(iii) Regularity. The force map is affine in the state: it is continuous; and for two states , sharing a position, , so it is locally Lipschitz in the state variable with the global constant , uniformly in time (Local Lipschitz continuity in the state variable, locally uniform in time and parameters). It is therefore a force map of the branch Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance clause (iii), and the existence, uniqueness and continuation theorems of this page apply to it; the regularity check is recorded with the model checks on the companion page.
(iv) Physical status and regime. This is a phenomenological constitutive model, adopted rather than derived: it represents the net effect of a medium whose microscopic state is not modelled, and the coefficient is a model parameter that depends on the body and the medium. The linear form is a restricted regime — slow motion through a viscous medium, of which the Stokes force on a sphere, for dynamic viscosity and radius , is the recorded example — and other regimes are different models: a force growing quadratically in the speed at higher speeds, or Coulomb sliding friction, whose expression contains the factor and is undefined at , and which is outside clause (iii) of Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance altogether. The model also neglects the random component of the environment's force. The cited fluctuation qualification is specifically Likharev's damped harmonic oscillator model , with and damping coefficient (denoted in the source), oscillator energy , and natural angular frequency : footnote 4 says that neglecting its random-force component is admissible only when, at thermal equilibrium, is much greater than , where is temperature, is Boltzmann's constant and is the reduced Planck constant. The free-particle model stated here has no restoring term and defines no corresponding , or , so the oscillator condition is not an additional admissibility condition on this model. Applying the idealization to a concrete medium requires a separate model of its fluctuations. No value of , of , or of is asserted by this item, and using measured values for them is an empirical premise with its own conditions and uncertainty.
(v) Status. Adopted assumption of the framework when a model invokes it; it selects no law of nature on its own and proves nothing about the actual motion of any body in any medium. Its consequences within the model are the subject of the companion example on terminal-velocity approach.
Remarks
-
Why a postulate and not a theorem. Nothing in the equation of motion determines the function ; a drag law is additional model input. The linear form is convenient because it is the simplest velocity-proportional law satisfying the standing regularity, and because it is the form used by the recorded viscous-regime treatments; neither reason makes it a derivation.
-
Zero coefficient. For the model reduces to a uniform-force model with the declared constant vector ; the parameter range is part of the model's declaration.
-
No friction claim. Setting does not model static friction: the linear drag force vanishes with the velocity and cannot hold a body at rest against a tangential load. Static and sliding friction require the separate inequality or set-valued models excluded in clause (vii) of Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance.
-
Dimensions and scope of the Stokes example. Here denotes the sphere radius, with , and denotes dynamic viscosity, with , so as required for . Stewart's Section 6.8 treats a steady fluid velocity field on the exterior domain , where . The field is independent of time and satisfies , its boundary trace is zero on , and at spatial infinity. If has dimension , the fluid mass density is with , and is dimensionless, Stewart's calculation gives drag magnitude . Thus is the coefficient in this restricted Stokes-flow limit, not a general derivation of linear drag for every slow motion in a viscous medium.
Depends on
Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance
Restricted interaction models: pair decompositions, antisymmetry and centrality options, potential forces and the gravitational branch
Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses
Coordinate velocity and acceleration of a worldline in an inertial frame, and the spatial velocity and acceleration vectors
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
Local Lipschitz continuity in the state variable, locally uniform in time and parameters
The Euclidean inner product on
Dependency tree · 2 levels
Sources
- K. K. Likharev, Essential Graduate Physics, Part CM: Classical Mechanics (title page last edited September 1, 2026), Section 5.1, chapter pages 1-3 (PDF pages 87-89), Eqs. (5.1)-(5.9) and footnote 4: linear drag in a damped one-dimensional harmonic oscillator; the random-force omission condition is stated for that oscillator, whose energy and natural frequency are defined in the section
- I. Stewart, Advanced Classical Mechanics (MIT 8.09/8.309 Fall 2014 course text), Section 1.4, printed pages 20-21 (PDF pages 23-24): friction as a nonconservative force example, with fluid friction at low velocity F = -b v, the distinct static/sliding/rolling friction models, and the worked Stokes-sphere equation m' yddot + m' g' = -6 pi eta a ydot
- I. Stewart, Advanced Classical Mechanics (MIT 8.09/8.309 Fall 2014 course text), Section 6.8, printed pages 134-138 (PDF pages 137-141): Stokes drag on a sphere in steady, incompressible viscous flow at small Reynolds number, with the inertial flow term neglected and drag magnitude 6 pi eta a u
- D. Tong, Classical Dynamics (Cambridge lecture notes, January 2015 printing), Section 1.2, printed pages 2-5 (PDF pages 8-11): force as a function of position and velocity in the equation of motion, with velocity-dependent forces treated as model input