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 force model of the continuum branch: continuous body forces and Cauchy contact tractions
Adoption of the force description of the continuum branch: a continuous body-force field per unit mass on the swept region and a continuous traction field, force per unit area, depending on a contact surface only through its unit normal at the point (Cauchy's hypothesis). The postulate excludes couple stresses, nonlocal contact interactions, curvature-dependent contact forces, and electromagnetic, thermal or chemical forces; it asserts no balance law, no constitutive relation and no measured value.
Postulate
Adopt for every model of the continuum kinematic branch (Adopted continuum kinematic model: body data, smooth motions as families of label worldlines, the continuum idealization and frame covariance) the following description of the forces acting on the body, read in the fixed inertial frame and with the dimensions of Continuum body data, the fixed inertial frame and the dimensions of the fields.
Assume (The Axiom of Countable Choice ()) for the Lebesgue volume and surface integrals below. Let be the positive density of The density field of the continuum model and the mass of a material subregion. Use a common open field domain containing the full swept closure . At time , write and . An admissible region at time is a nonempty bounded open with and a specified finite piecewise boundary presentation in Specified finite piecewise C1 boundary presentations. Its faces carry the outward unit normal off the surface-null edge set. Boundary integration means the finite sum of the face integrals of Surface integration on compact C1 hypersurfaces, componentwise for vectors; volume integration uses the Lebesgue integral over (Integral over a measurable subset), with signed integrals defined by positive and negative parts in Integrable real and complex functions, and their integrals. Compact closure, continuous fields and finite face areas make these integrals finite.
(i) Body forces. There is a continuous field on the common open field domain , the body force per unit mass, of dimension (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework). The body force exerted on an admissible region at time is , of dimension (force).
(ii) Contact forces and Cauchy's hypothesis. There is a traction field of class , hence continuous, in the sense of Traction fields and stress matrices of the continuum model, with units and sign conventions, force per unit area, with dimension . The definition of a traction field already encodes Cauchy's hypothesis: the contact force exerted across a surface at a point depends on the surface only through the value of its unit normal at that point, so two surfaces through the same point with the same unit normal experience the same traction. The contact force exerted across the boundary of an admissible region at time is , with the outward unit normal and the finite face-sum integral defined above. No dependence of on the curvature of the surface, on higher derivatives of the surface, or on the distant shape of the body is introduced; no surface couples, no traction singularities and no contact forces on curves are introduced.
(iii) Exclusions. This force description is not adopted, and no statement of this page covers: couple stresses or distributions of surface couples; contact interactions that depend on the geometry of the surface beyond its tangent plane at the point (thin boundary layers, capillarity at contact lines, adhesion laws with curvature dependence); nonlocal contact interactions; electromagnetic, thermal, chemical and radiative forces; and body couples. A model with such features requires an extended force description and its own balance laws.
(iv) Status. These are adopted assumptions about how forces are represented in the model. No balance of forces is asserted by this postulate; the balance principles are the subject of the next postulate, and the existence of a representing stress matrix is a conditional conclusion of the theorem that applies Cauchy's tetrahedron argument to those balances. The fields and are model quantities; no measured force is asserted, and the frame-covariance requirement of the kinematic branch applies to them.
Depends on
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
Adopted continuum kinematic model: body data, smooth motions as families of label worldlines, the continuum idealization and frame covariance
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
Continuum motions, spatial velocity, material acceleration and swept regions
Euclidean maps and diffeomorphisms
The density field of the continuum model and the mass of a material subregion
Specified finite piecewise C1 boundary presentations
Surface integration on compact C1 hypersurfaces
Integral over a measurable subset
The Axiom of Countable Choice ()
Integrable real and complex functions, and their integrals
Dependency tree · 2 levels
Sources
- R. Abeyaratne, Continuum Mechanics, Volume II of Lecture Notes on the Mechanics of Solids (MIT, 1988, revised 2020), Section 4.3 (body forces, contact forces and Cauchy's hypothesis), Section 4.4 (the traction on a surface)
- K. Likharev, Essential Graduate Physics, Classical Mechanics (September 1, 2026 complete volume), Section 7.2 (bulk and surface forces and the stress tensor)