Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicable
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

Physical scope

Adoption of a constitutive force model for the interaction of a labeled particle with a medium: a linear drag force −cx˙ with a declared coefficient c≥0, 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 m>0 (Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses clause (v)) in a fixed inertial frame, with time window R and configuration domain Q=R3, and with the particle's coordinate position x and coordinate velocity v=x˙ (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 c≥0 of dimension μτ−1, read in kilograms per second (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework):

Fdrag(v):=−c v,

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 mg, where g∈R3 is a constant parameter of dimension ℓτ−2 (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework). The resulting force map of the model is

F(t,x,v)=mg−c v,that is,m x¨=mg−c x˙,

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 (t,x,v)∈R×R3×R3.

(iii) Regularity. The force map is affine in the state: it is continuous; and for two states z=(x,v), z′=(x,v′) sharing a position, ∥F(t,z)−F(t,z′)∥2=c ∥v−v′∥2≤c ∥z−z′∥2, so it is locally Lipschitz in the state variable with the global constant c, 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 c 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, c=6πηa for dynamic viscosity η and radius a, 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 v/∣v∣ and is undefined at v=0, 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 mq¨+γq˙+κq=0, with m,κ>0 and damping coefficient γ>0 (denoted η in the source), oscillator energy E:=12mq˙2+12κq2, and natural angular frequency ω0:=κ/m: footnote 4 says that neglecting its random-force component is admissible only when, at thermal equilibrium, E is much greater than max⁡(kBT,ℏω0/2), where T is temperature, kB is Boltzmann's constant and ℏ is the reduced Planck constant. The free-particle model stated here has no restoring term and defines no corresponding E, T or ω0, 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 c, of m, or of g 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 mx¨=F determines the function F; 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 c=0 the model reduces to a uniform-force model with the declared constant vector g; the parameter range is part of the model's declaration.

  • No friction claim. Setting v=0 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 a>0 denotes the sphere radius, with [a]=ℓ, and η denotes dynamic viscosity, with [η]=μℓ−1τ−1, so [6πηa]=μτ−1 as required for c. Stewart's Section 6.8 treats a steady fluid velocity field u ⁣f:Ω→R3 on the exterior domain Ω:=R3∖B‾a(0), where Ba(0):={x∈R3:∣x∣<a}. The field is independent of time and satisfies ∇⋅u ⁣f=0, its boundary trace is zero on ∣x∣=a, and u ⁣f(x)→u∞ at spatial infinity. If u:=∣u∞∣ has dimension ℓτ−1, the fluid mass density is ρ with [ρ]=μℓ−3, and Re:=ρua/η≪1 is dimensionless, Stewart's calculation gives drag magnitude 6πηau. Thus c=6πηa 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

Dependency tree · 2 levels

Sources