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 balance principles of the continuum model: force and couple-free torque balance on every admissible region

Physical scope

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 ACω (The Axiom of Countable Choice (ACω)) 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 U⊆R×R3 be an open set containing the swept region of the motion over its time window. The density ρ, the spatial velocity u and the material acceleration a=Dtu are continuous on U (Euclidean spatial calculus: gradient, divergence and material derivative, Continuum motions, spatial velocity, material acceleration and swept regions), and b and t are the body-force and traction fields of Adopted force model of the continuum branch: continuous body forces and Cauchy contact tractions. For s in the time window the current region is Ωs=χs(B).

(ii) Admissible regions. An admissible region at time s is a bounded piecewise C1 Euclidean domain with a specified finite presentation with D⊆Ωs, whose closure lies in the open domain of the fields at time s (Specified finite piecewise C1 boundary presentations), with outward unit normal νD 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 s and every admissible region D at time s,

∫∂Dt(s,y,νD(y)) dS(y)+∫D(ρb−ρa)(s,y) dy=0.(F)

Read as a momentum balance, (F) says that the resultant contact force on D equals ∫Dρa dy−∫Dρb dy; equivalently contact plus body force equals ∫Dρa dy, 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 s, every admissible region D at time s, and every fixed origin x0∈R3,

∫∂D(y−x0)×t(s,y,νD(y)) dS(y)+∫D(y−x0)×(ρb−ρa)(s,y) dy=0,(T)

the cross product being that of R3 (The cross product in R3). The balance is imposed with the same volume force density ρb−ρa as in (F); there are no body couples and no surface couples. Since the identity holds for every origin, the choice of x0 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

Dependency tree · 2 levels

Sources