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 balance principles of the continuum model: force and couple-free torque balance on every admissible region
Adoption of the balance principles of the continuum branch in force form: on every admissible bounded piecewise C-one region inside the current region, the surface traction resultant balances minus the volume integral of the body force minus the inertial term rho a, and the corresponding torque about any fixed origin balances likewise with no body or surface couples. The postulate excludes couple stresses, electromagnetic momentum exchange, mass sources and non-inertial frames; it asserts no constitutive law, no existence of a stress matrix and no measured value.
Postulate
Assume (The Axiom of Countable Choice ()) for the Lebesgue volume and surface integration used in these general balances. The pointwise field and open-region predicates are unaffected.
Adopt for every model of the continuum branch, together with the force description of Adopted force model of the continuum branch: continuous body forces and Cauchy contact tractions and the fields of The density field of the continuum model and the mass of a material subregion and Traction fields and stress matrices of the continuum model, with units and sign conventions, the following balance principles.
(i) Setting. Let be an open set containing the swept region of the motion over its time window. The density , the spatial velocity and the material acceleration are continuous on (Euclidean spatial calculus: gradient, divergence and material derivative, Continuum motions, spatial velocity, material acceleration and swept regions), and and are the body-force and traction fields of Adopted force model of the continuum branch: continuous body forces and Cauchy contact tractions. For in the time window the current region is .
(ii) Admissible regions. An admissible region at time is a bounded piecewise Euclidean domain with a specified finite presentation with , whose closure lies in the open domain of the fields at time (Specified finite piecewise C1 boundary presentations), with outward unit normal off its edge set and boundary term the sum of the surface integrals over its faces (Surface integration on compact C1 hypersurfaces).
(iii) Balance of forces. For every time and every admissible region at time ,
Read as a momentum balance, (F) says that the resultant contact force on equals ; equivalently contact plus body force equals , i.e. the total applied force equals the mass times acceleration of the region, with the inertial term written as a volume force.
(iv) Balance of torques, with no couples. For every time , every admissible region at time , and every fixed origin ,
the cross product being that of (The cross product in ). The balance is imposed with the same volume force density as in (F); there are no body couples and no surface couples. Since the identity holds for every origin, the choice of is immaterial given (F).
(v) Exclusions and status. These principles are not adopted for: bodies with couple stresses or surface couples; systems exchanging momentum with electromagnetic or thermal fields (the momentum of those fields would have to be accounted for separately); bodies with mass sources; and descriptions in non-inertial frames (where additional inertial terms appear and are excluded by the choice of the fixed inertial frame of Continuum body data, the fixed inertial frame and the dimensions of the fields). The principles are adopted model assumptions, not derived here; comparisons of predicted motions with observations can support them under stated apparatus assumptions, and no measurement is asserted or used by this postulate. In particular, the existence of a representing stress matrix, its continuity and its symmetry are not assumed here; they are conditional conclusions of the theorem items of this page, whose arguments apply the balance principles exactly as stated.
Depends on
Adopted force model of the continuum branch: continuous body forces and Cauchy contact tractions
Adopted continuum kinematic model: body data, smooth motions as families of label worldlines, the continuum idealization and frame covariance
The density field of the continuum model and the mass of a material subregion
Traction fields and stress matrices of the continuum model, with units and sign conventions
Continuum body data, the fixed inertial frame and the dimensions of the fields
Specified finite piecewise C1 boundary presentations
Surface integration on compact C1 hypersurfaces
Euclidean spatial calculus: gradient, divergence and material derivative
Continuum motions, spatial velocity, material acceleration and swept regions
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
The cross product in
The Axiom of Countable Choice ()
Dependency tree · 2 levels
Sources
- R. Abeyaratne, Continuum Mechanics, Volume II of Lecture Notes on the Mechanics of Solids (MIT, 1988, revised 2020), Sections 4.4-4.6 (balance of linear and angular momentum and the field equations)
- K. Likharev, Essential Graduate Physics, Classical Mechanics (September 1, 2026 complete volume), Section 7.2 (Eq. (7.25) and the bulk-plus-surface force balance of a continuum element)