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.
Scope and limits of the one-dimensional conservative and dissipative models: declared class, approximation status, empirical parameters and open extensions
An audit of the page's conditional content: which statements are declared model assumptions, which are exact conditional deductions of the model, and which are approximation or empirical interfaces; the status of the linear models as idealizations, the finite-time character of the small-angle bound, the phenomenological character of the drag and the source-reported restriction that oscillator energy greatly exceed the fluctuation energy scale, without a universal quantitative tolerance, the prescribed-drive idealization, and the handling of measured parameters as empirical premises. The remark asserts no new mathematical or physical claim and no measured value.
Scope and limits
-
The one-dimensional class is declared, not derived. The models of this page are restricted model classes of The one-dimensional force models: data, motions, phase system, potential presentation, energy and equilibria: a scalar coordinate, a mass and a scalar force law with the standing regularity. Their relation to motions of the three-dimensional force branch along a straight line, or to effective one-dimensional reductions of constrained systems such as the pendulum, is a modelling identification that a consumer item states and uses explicitly; this page contains no three-dimensional reduction theorem, and the pendulum example of the companion page declares its effective model equation with its source support.
-
Declared assumptions versus deductions. The harmonic, damped and driven models are adopted postulates (The harmonic (linear restoring) model: a declared linear force law with parameter , The damped oscillator model: a harmonic restoring force with a phenomenological linear drag , , The sinusoidally driven oscillator model: a prescribed external force added to the damped oscillator); every physics theorem on the page is a conditional deduction from those adopted models: existence and uniqueness, energy conservation and level-set containment (Existence, uniqueness and conservation of energy for a one-dimensional conservative model: phase curves lie in energy level sets and the velocity is determined by the position and energy up to sign), Lyapunov stability at a strict minimum (A strict local minimum of the potential is a Lyapunov stable equilibrium of the conservative one-dimensional model, and its linearisation is an oscillator-type model), the sinusoid classification, energy and phase ellipses (The motions of the harmonic model are the sinusoids : amplitude and phase, the least period, the conserved energy and the elliptical phase curves), the damping classification and the dissipation identity (Classification of the motions of the damped oscillator by the discriminant, and nonincreasing energy ), decay and asymptotic stability (Strictly damped oscillator: explicit decay bounds, convergence to rest and asymptotic stability of the origin), and the response, boundedness and resonance statements (The driven oscillator: steady response and amplitude profile, bounded damped and off-resonant motions, and unbounded undamped resonance). No deduction here establishes that a real system obeys a model.
-
The harmonic model is a local quadratic approximation. In the displacement coordinate centered at a strict minimum with , the quadratic Taylor term is after dropping the additive constant . It gives the linearized equation about that minimum; the approximation is exact only for the declared harmonic model. For the pendulum, the difference between the nonlinear and the linearized motion is bounded only in the finite-time sense of The pendulum field near the downward equilibrium: bounded force derivative, cubic remainder and the finite-time small-angle error bound, with the explicit small-amplitude and time hypotheses of that statement; no uniform-in-time approximation is asserted anywhere on this page.
-
The drag is phenomenological and fluctuation-free. The linear drag model is adopted for a stated viscous regime; its coefficient depends on body and medium; the random component of the environment's force is neglected. Likharev's Section 5.1, footnote 4 (Chapter 5 p. 2; PDF p. 88), limits that omission to oscillator energy much larger than the fluctuation energy scale. In the source's thermal-equilibrium setting, write for absolute temperature in kelvins, for the Boltzmann constant in joules per kelvin, for the reduced Planck constant in joule seconds, and in inverse seconds. The reported scale is , compared with above the declared potential minimum. The condition is : the ratio must be small where this approximation is used. The source gives no universal numerical tolerance or error estimate. These thermal and quantum quantities report a source's applicability caveat; they are not premises of the page's deterministic proofs or constants derived within this mechanical framework. Since the adopted strictly damped equation predicts , its exact long-time decay theorem does not assert indefinite physical applicability when . No fluctuation–dissipation relation, derivation of or validity outside the linear regime is claimed; regimes of quadratic drag or of Coulomb friction are different models outside this page.
-
The drive is prescribed and sinusoidal. The driving-force contribution is a function of time alone with an idealized sinusoidal waveform; the total force also includes the declared spring and drag terms. No back-reaction of the motion on the drive, no non-sinusoidal waveform and no apparatus characterization is part of the model. The boundedness and resonance clauses of The driven oscillator: steady response and amplitude profile, bounded damped and off-resonant motions, and unbounded undamped resonance are statements about this model's motions.
-
Measured parameters are empirical premises. The values of , , , and are model data; when a value is obtained from a calibration or an apparatus specification, its uncertainty, the calibration method and the operating conditions are premises of any comparison with observation, and agreement of a model prediction with data is statistical evidence about the combined model and apparatus assumptions, never a proof of the model. This page asserts no measured value and no empirical agreement.
-
Stability conclusions and their boundaries. The conservative model has a Lyapunov stable rest point at a strict minimum; the strictly damped model has a globally asymptotically stable rest point; the strict-minimum stability conclusion also covers degenerate strict minima, while no conclusion is drawn at other degenerate critical points, at maxima, or for the undamped driven model. In particular the linearized repulsive frequency of a maximum is not used to claim nonlinear instability of the model.
-
Open extensions. Nonlinear oscillators with large amplitude (the exact pendulum and its secular drift), parametric resonance, nonlinear damping and self-oscillation, dissipative models with fluctuations, and numerical integration studies are outside this page's scope and belong to the later pages of the track; the recorded sources' treatments of those topics are not prerequisites of the claims proved here.
Depends on
The one-dimensional force models: data, motions, phase system, potential presentation, energy and equilibria
The phase plane of a one-dimensional model: phase curves, the energy function and its level sets, and turning points
The harmonic (linear restoring) model: a declared linear force law with parameter
The damped oscillator model: a harmonic restoring force with a phenomenological linear drag ,
The sinusoidally driven oscillator model: a prescribed external force added to the damped oscillator
Existence, uniqueness and conservation of energy for a one-dimensional conservative model: phase curves lie in energy level sets and the velocity is determined by the position and energy up to sign
A strict local minimum of the potential is a Lyapunov stable equilibrium of the conservative one-dimensional model, and its linearisation is an oscillator-type model
The motions of the harmonic model are the sinusoids : amplitude and phase, the least period, the conserved energy and the elliptical phase curves
Classification of the motions of the damped oscillator by the discriminant, and nonincreasing energy
Strictly damped oscillator: explicit decay bounds, convergence to rest and asymptotic stability of the origin
The driven oscillator: steady response and amplitude profile, bounded damped and off-resonant motions, and unbounded undamped resonance
The pendulum field near the downward equilibrium: bounded force derivative, cubic remainder and the finite-time small-angle error bound
Dependency tree · 2 levels
Sources
- K. K. Likharev, Essential Graduate Physics, Part CM: Classical Mechanics (title page last edited September 1, 2026), Sections 3.1-3.3 and 5.1, chapter pages 1-7 of Chapters 3 and 5 (PDF pages 33-39 and 87-93): the effective one-dimensional reduction, the linearization procedure with its local character, the energy diagram, the phenomenological drag with neglected fluctuations, the forced response and the resonance discussion
- D. Tong, Classical Dynamics (Cambridge lecture notes, January 2015 printing), Section 1.2.4, printed page 5 (PDF page 11): the harmonic and damped oscillator examples, with energy conserved in the first case and lost until rest in the second