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 continuum kinematic model: body data, smooth motions as families of label worldlines, the continuum idealization and frame covariance
Adoption of the kinematic branch of the continuum framework: every model is carried by body data in a fixed inertial frame; the body's motion is a C^2 family of orientation-preserving injective configurations whose labels follow worldlines and whose velocity field carries the model's spatial velocity and material acceleration; the continuum hypothesis, the smoothness idealization and the frame-covariance requirement are stated. The postulate excludes fracture, interpenetration, phase boundaries, shocks, diffusion, chemical reactions and thermal or electromagnetic coupling, and asserts no dynamics, no constitutive relation and no measured value.
Postulate
Adopt as physical assumptions of the continuum branch the following statements, in the framework, frame and body data of Continuum body data, the fixed inertial frame and the dimensions of the fields.
(i) Model data. A model of the branch is carried by a continuum body data set of Continuum body data, the fixed inertial frame and the dimensions of the fields in the fixed inertial frame : a material region , a reference chart domain with , and a time window . The labels are the material points of the body.
(ii) Motion. A motion of the model is a map
which is a motion of the material region on in the sense of Continuum motions, spatial velocity, material acceleration and swept regions: is of class ; for every the map is of class , injective and has invertible total derivative at every point of ; and the Jacobian satisfies on . The current region is , and the model's spatial velocity field and material acceleration are those of Continuum motions, spatial velocity, material acceleration and swept regions and Euclidean spatial calculus: gradient, divergence and material derivative.
(iii) Worldlines of labels. For every label the curve , , is a worldline of the model in the sense of clauses (i)-(iv) of Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses: it is of class in the adapted coordinates of , its parameter is the frame time (), its description in another inertial frame is the reparametrized curve induced by the frame change, and its coordinate velocity and acceleration are read by Coordinate velocity and acceleration of a worldline in an inertial frame, and the spatial velocity and acceleration vectors. The motion is thus a family of worldlines, one for each label, and the spatial velocity field satisfies ; no mass is attached to a label, mass entering only through a density field.
(iv) Continuum idealization. The body is described as a continuum: every label is a point and the fields are defined at every point of the current regions. The following are excluded by this postulate, and no statement of this page covers them: fracture, cutting or interpenetration (injectivity and ); shocks, phase boundaries and material interfaces inside the motion (the motion is with everywhere on ); diffusion or exchange of material between labels; chemical reactions, phase change and mass sources; electromagnetic, thermal and radiative couplings; and microscopic or molecular structure. The smoothness classes of the fields are stated in each later item; wherever a weaker regularity is required it is stated there, and the classical transport and balance identities of this page are used only under their own hypotheses.
(v) Frame covariance. A model is frame-covariant when, for every change of inertial frame given by the Galilean transformation of Galilean transformation of worldlines: velocity and acceleration laws, frame-independence of zero coordinate acceleration, and the group of frame changes, the description of the same motion in is the Galilean transform of the description in , and the model's balance and constitutive laws have the same form when written in with the correspondingly transformed fields (velocities transformed by the boost, accelerations rotated as there stated). The branch requires frame covariance of every model; for each law adopted below, the covariance check is carried out or the law is stated only in the fixed frame.
(vi) Status. These are adopted assumptions of the model. They are not derived from mechanics and they assert nothing about any particular material. The continuum idealization is used in practice when the fields vary on spatial scales large compared with the microscopic spacing of the material and the material admits a representative volume element; those microscopic conditions are not formalized here and no quantitative threshold is asserted. Empirical adequacy of the idealization for a given material is a matter of comparison with observations and is not established by this postulate.
Depends on
Continuum body data, the fixed inertial frame and the dimensions of the fields
Continuum motions, spatial velocity, material acceleration and swept regions
Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses
Inertial frames, stationary observers and the adopted Galilean transformations between frames
Coordinate velocity and acceleration of a worldline in an inertial frame, and the spatial velocity and acceleration vectors
Euclidean spatial calculus: gradient, divergence and material derivative
Galilean transformation of worldlines: velocity and acceleration laws, frame-independence of zero coordinate acceleration, and the group of frame changes
Dependency tree · 2 levels
Sources
- R. Abeyaratne, Continuum Mechanics, Volume II of Lecture Notes on the Mechanics of Solids (MIT, 1988, revised 2020), Sections 1.2-1.6 (continuous bodies and motions) and 3.1-3.3 (velocity, velocity gradient)
- K. Likharev, Essential Graduate Physics, Classical Mechanics (September 1, 2026 complete volume), Sections 7.1 and 8.3 (continuum description, particle displacement and velocity field)
- I. Stewart, Advanced Classical Mechanics (MIT 8.09/8.309 Fall 2014 course text), Section 6.1 (the continuum description of a chain and the displacement field)