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.
Classical frames, primitive quantities and SI units
Smooth nonrelativistic continuum kinematics on Newtonian spacetime, with explicit Cartesian inertial charts, rigid observers, material motions, field types, primitive/derived roles, and SI dimensions. No relativistic causal structure or empirical fluid applicability is asserted.
Definition
Use the nonrelativistic Newtonian spacetime , where is an open interval with absolute time in seconds. Here is a three-dimensional oriented Euclidean affine space: its translation vectors form an oriented Euclidean vector space, but no origin in is distinguished. A Cartesian inertial chart is an event-coordinate map , where is an orientation-preserving affine isometry, is constant, and for . The affine map is auxiliary data defined on , so this formula requires no evaluation at time when . Each fixed-time spatial map is an orientation-preserving affine isometry with fixed spatial orientation; the spatial origin has constant velocity. Spatial coordinates are measured in metres and in metres per second. A chart may also use a translated absolute-time coordinate; at corresponding events the inertial-chart transformations are the ones displayed below. Write . Inertial charts are related by
where is a constant time translation in seconds, is constant, is a constant relative velocity in m s, and is a constant spatial translation in metres. A worldline is a curve with , parameterized by absolute time; this model imposes no relativistic speed or causal condition. A rigid observer change is the more general coordinate change , with and in metres; it is not called inertial unless is constant and is affine in time. A frame here means an adapted Cartesian chart, not an observer congruence or a basis field.
For the initial-chart material-motion convention below, require . Let be a bounded open reference body whose boundary is locally the graph of a function, with lying on one side of each such graph. Identify the reference coordinates with the chosen initial Cartesian chart, and let be an open neighborhood of . A material motion is a map such that each is a bijection from onto an open image, has a inverse, and has positive Jacobian determinant; in the initial chart set . The label and position are measured in metres. Write
Here and are dimensionless and has units metres. The material map describes motion of the medium; it is not a change of observer or frame. The Eulerian velocity is the vector field defined by , measured in m s. For a differentiable scalar or component field , its material derivative is . Set , , , , and ; have units s. Define vorticity by
also in s. In this library, a motion is material-incompressible on a region when there; spatially homogeneous density means there. These are distinct conditions. A pathline is a curve on an interval where the field is defined and the solution exists, satisfying . A streamline at time is a integral curve satisfying for a frozen , with curve parameter measured in seconds. These are different constructions for an unsteady field.
A spatial vector is an element of the Euclidean translation space; its components rotate by under a rigid observer change. A spatial second-order tensor is a linear map from that vector space to itself, represented by a matrix in a Cartesian orthonormal basis; it transforms as . A tensor-valued constitutive response is objective when its values at corresponding events satisfy this transformation rule for every rigid observer change. For a stress tensor , use the tension-positive convention in which the traction (force per unit current area) on a surface with outward unit normal is . Set ; the tensor contraction is . Stress and traction have units Pa .
Within a specified model, a primitive quantity is a quantity adopted as input rather than constructed from the other data of that model; a derived quantity is assigned by an explicit construction from stated inputs and results. This status is framework-local and is independent of whether its SI unit is base or derived. In the continuum model used on this page, is a reference mass-density field in kg m, is an adopted body-acceleration field in m s, is specific internal energy (energy per unit mass) in J kg, is temperature in K, is specific entropy in J kg K, is heat flux (heat-transfer rate per unit area) in W m, and is specific heat supply (power per unit mass) in W kg. Their adoption is a physical-model choice, not a consequence of the SI. The current mass density means mass per unit current volume and has units kg m; for a mass-conserving motion, its construction from and is established from the stated balance hypotheses in the theorem on this page. A pressure is a scalar in Pa whose role depends on the selected constitutive branch. The shear and bulk dynamic-viscosity parameters , when that branch is adopted, have units Pa s ; thermal conductivity has units W m K. The gradient has units m. Thus the metre, kilogram, second, and kelvin are SI base units in this dictionary, while density, velocity, acceleration, pressure, energy, power, viscosity, and heat-flux units are derived according to the BIPM SI conventions.
Definition references
MIT OpenCourseWare 8.01SC, Chapter 11, §§11.1–11.3 (Galilean frames)
MIT OpenCourseWare 8.09, full lecture notes, §1.1 (inertial and rotating frames)
David Tong, Fluid Mechanics, Part I, §§1.1.1–1.1.3 (Eulerian fields, paths, and material derivative)
BIPM, SI Brochure 9th edition, version 4.01, §§2.2–2.3 and Tables 4–6
Authoring status
The batch-2 supplier Smooth material configurations and Eulerian fields is now present: its inspected definition gives the family of orientation-preserving diffeomorphisms, positive Jacobian, inverse label, Eulerian velocity, material derivative, and strain-rate interface used here. This item states its own initial-chart normalization and explicit SI dictionary as additional conventions.