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 damped oscillator model: a harmonic restoring force with a phenomenological linear drag ,
Adoption of the damped oscillator as a restricted one-dimensional model: the harmonic restoring force with spring constant k>0 combined, through additive composition of force contributions, with a linear drag force -c x-dot of declared drag coefficient c>=0 (kilograms per second). The drag term is phenomenological: it represents the net effect of a medium that is not modelled, is adopted for a stated regime (viscous, velocity-proportional resistance at small speeds), neglects the random component of the environment's force, and is a different model from quadratic drag or Coulomb friction outside that regime. The item asserts no value of c, no derivation of the drag law, no fluctuation theory and no measured result.
Postulate
(i) Setting. Work in the one-dimensional model class of The one-dimensional force models: data, motions, phase system, potential presentation, energy and equilibria with time window , configuration domain , a fixed mass , the spring constant of The harmonic (linear restoring) model: a declared linear force law with parameter , and a drag coefficient of dimension , read in kilograms per second (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework). The model's force law is declared through the additive composition of force contributions, in the sense of clause (v) of Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance, read in one coordinate:
The damped oscillator model is the one-dimensional model with this force law; its equation of motion is and its data are oscillator-type data in the sense of clause (f) of The one-dimensional force models: data, motions, phase system, potential presentation, energy and equilibria. The model is autonomous and depends on the velocity; it is undamped when , in which case it is exactly the harmonic model of The harmonic (linear restoring) model: a declared linear force law with parameter , and strictly damped when .
(ii) Potential presentation with a residual force. The model presents its force law through the harmonic potential of The harmonic (linear restoring) model: a declared linear force law with parameter together with the residual force in the sense of clause (d) of The one-dimensional force models: data, motions, phase system, potential presentation, energy and equilibria: . The mechanical energy of the model is therefore the function of clause (d), defined along every motion; the drag force is not presented through a potential and the model is not a global potential model when .
(iii) Regularity. Let and be the dimensionless numerical SI state coordinates (the real state coordinates in the displayed force-map signature), and let , be the numerical coefficients. The numerical force map is , so The real number is a Lipschitz constant for this normalized numerical coordinate map; the dimensionful coefficients and are not added. The force map is continuous and locally Lipschitz in the state variable, uniformly in time (Local Lipschitz continuity in the state variable, locally uniform in time and parameters). It is an admissible force law of the class of clause (a) of The one-dimensional force models: data, motions, phase system, potential presentation, energy and equilibria, and its equation is exactly the homogeneous model of The damped driven oscillator model: second-order equation, phase-plane system and characteristic data.
(iv) Physical status and regime. The drag term is a phenomenological constitutive model, adopted rather than derived: it represents the net force of a medium whose microscopic state is not part of the model. The linear velocity-proportional form is a restricted regime — slow motion through a viscous medium, of which the Stokes force is the recorded example in the framework's drag postulate The linear drag model: a phenomenological velocity-proportional resistance with a declared coefficient — and the coefficient is a model parameter depending on body and medium. Other regimes are different models: drag growing quadratically with speed, or Coulomb sliding friction, whose force contains the factor and is undefined at and is not of the standing regularity. The model also neglects the random component of the environment's force; the recorded source states that this neglect is admissible only in a stated energy regime, in which the oscillator's energy greatly exceeds the energy scale of the environment's fluctuations. No value of , or is asserted, and a measured value used in an application is an empirical premise with its own conditions and uncertainty.
(v) Status. Adopted assumption of the framework when a model invokes it; the damped oscillator selects no law of nature on its own, and no fluctuation–dissipation relation is asserted. Its conditional consequences are the subject of the damped-motion theorems of this page.
Remarks
-
Why a postulate and not a theorem. The equation of motion determines no force law; the drag contribution is additional model input, exactly as in The linear drag model: a phenomenological velocity-proportional resistance with a declared coefficient. The linear form is the simplest velocity-proportional law of the standing regularity, and it is the form of the recorded viscous-regime treatments; neither reason makes it a derivation.
-
is a parameter value, not a change of model class. The model is declared for all ; at the residual force vanishes and the model is a global potential model, while for the mechanical energy is not conserved and the page's dissipation theorem applies.
Depends on
The one-dimensional force models: data, motions, phase system, potential presentation, energy and equilibria
The harmonic (linear restoring) model: a declared linear force law with parameter
Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
Potential presentations of a force model, potential and mechanical energy, closed versus exact force fields, local potentials and equipotential level sets
Local Lipschitz continuity in the state variable, locally uniform in time and parameters
The damped driven oscillator model: second-order equation, phase-plane system and characteristic data
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, Eqs. (5.5)-(5.6b) with footnote 4, chapter page 2 (PDF page 88): the linear drag force F = -eta qdot and the damped equation m qddot + eta qdot + kappa q = 0, with the drag treated as a phenomenological model whose random component is neglected subject to an energy-scale condition
- D. Tong, Classical Dynamics (Cambridge lecture notes, January 2015 printing), Section 1.2.4, Example 2 (the damped simple harmonic oscillator), printed page 5 (PDF page 11): the friction term F(x,xdot) = -k x - gamma xdot, with energy not conserved and the system losing energy until it comes to rest
- 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): fluid friction at low velocity F = -b v as the distinct low-speed friction model, alongside the separate static, sliding and rolling friction models