Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicable
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

Physical scope

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 ACω (The Axiom of Countable Choice (ACω)) for the Lebesgue volume and surface integrals below. Let ρ be the positive C1 density of The density field of the continuum model and the mass of a material subregion. Use a common open field domain U⊆R×R3 containing the full swept closure {(s,x):s∈I, x∈χs(B‾)}. At time s∈I, write Us:={x:(s,x)∈U} and Ωs:=χs(B). An admissible region at time s is a nonempty bounded open D⊆Ωs with D‾⊆Us and a specified finite piecewise C1 boundary presentation in Specified finite piecewise C1 boundary presentations. Its faces Sj carry the outward unit normal νD 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 D (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 b:U→R3 on the common open field domain U, the body force per unit mass, of dimension [b]=ℓτ−2 (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework). The body force exerted on an admissible region D at time s is ∫Dρ(s,x)b(s,x) dx, of dimension μℓτ−2 (force).

(ii) Contact forces and Cauchy's hypothesis. There is a traction field t:U×S2→R3 of class C1, 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 [t]=μℓ−1τ−2. 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 D at time s is ∫∂Dt(s,y,νD(y)) dS(y), with the outward unit normal νD and the finite face-sum integral defined above. No dependence of t 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 b and t are model quantities; no measured force is asserted, and the frame-covariance requirement of the kinematic branch applies to them.

Depends on

Dependency tree · 2 levels

Sources