Alphabeta Math
PostulateStatement: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

Adopted inertial velocity Langevin bath

Physical scope

One scalar component of a nonrelativistic particle's position and inertial velocity along a fixed spatial axis of one inertial frame, understood as the fixed adapted affine chart of the adopted Newtonian spacetime, with constant positive mass, damping rate and bath temperature, additive Brownian forcing, the stated stationary Gaussian preparation, and a prescribed continuous external force. This is an adopted model, not a universal bath law or an experimental report.

Postulate

Assume the Axiom of Choice The Axiom of Choice, the filtered Brownian probability-space convention of Ornstein–Uhlenbeck integral equation, and the adopted Newtonian spacetime and frame assumptions of Inertial frames, stationary observers and the adopted Galilean transformations between frames. Fix one inertial frame Γ=(o,u,(e1,e2,e3)) of that postulate: it is a fixed global adapted affine chart, with o∈A, u∈V, τ(u)=1, and a fixed positively oriented g-orthonormal basis (e1,e2,e3) of the spatial displacement space K=ker⁡τ. Its chart map assigns each event p∈A the unique coordinates (tΓ(p),xΓ(p)) satisfying p=o+tΓ(p)u+∑i=13xΓ,i(p)ei. Let X=(Xt)t≥0 be the scalar position-coordinate process in this chart, measured in metres, whose value is the signed first spatial coordinate along the fixed axis e1. The model tracks only X; it does not specify a full particle worldline or assert a law for either of the other spatial coordinates. Let X0 be an F0-measurable real-valued random variable. On a measurable event Ω∗∈F with P(Ω∗)=1, assume t↦Xt(ω) is continuously differentiable and define the velocity coordinate Vt(ω):=dXt(ω)/dt there, measured in metres per second. Thus Xt=X0+∫0tVs ds on Ω∗; values on the null complement do not affect the stochastic conclusions.

Take a primitive particle mass m>0 in kilograms, a primitive constant bath temperature Tb>0 in kelvins, and the primitive SI Boltzmann constant kB>0 in joules per kelvin. The positive damping rate γ is a primitive model parameter in seconds−1; the positive noise amplitude σ is derived as the square root of 2γkBTb/m and has units metres seconds−3/2. Let Bt be standard scalar Brownian motion with B0=0, variance t in seconds, and future increments independent of the present filtration. Prepare an F0-measurable V0∼N(0,kBTb/m) independently of future Brownian increments. The force F:[0,∞)→R is a prescribed deterministic locally continuous input in newtons. Adopt

Vt=V0−γ∫0tVs ds+1m∫0tF(s) ds+σBt,σ2=2γkBTbm.

The displayed integral equation is the definition of the stochastic differential notation dVt=−γVt dt+F(t) dt/m+σ dBt. Brownian increments have units seconds1/2, so every term in the equation for Vt has units metres seconds−1. When F=0, the preparation is the stationary OU Gaussian law because its variance is σ2/(2γ)=kBTb/m; the cited mathematical supplier establishes the specified OU model properties. The thermal noise normalization, Gaussian preparation, constant damping, and deterministic force coupling are adopted assumptions. No measurement, material calibration, nonlinear response, or microscopic derivation of this bath is asserted.

Depends on

Dependency tree · 2 levels

Sources