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.
Control-volume balance: mass and momentum rates for a moving non-material region
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()), as used by the transport and divergence theorems. Let be a nonempty open interval, let be a material region, and let be a motion of on with spatial velocity . Write
for the open domain on which is defined (Continuum motions, spatial velocity, material acceleration and swept regions). Let be an open interval with compact closure in , and let be open and contain the swept region of over .
Let and be and let be continuous. Define and suppose, on :
Let be a second motion of a material region (with the same reference chart domain used for ; write for its spatial velocity), and suppose that for every the control region is a bounded domain (Bounded C1 domains and their outward normals) with outward unit normal and boundary surface integral as in Surface integration on compact C1 hypersurfaces.
Assume also that the control sweep is contained in . Thus the fields and the local equations (KM) are defined on a neighbourhood of every closed control region. No condition that the control motion coincide with the material motion is imposed.
Then for every :
and componentwise
Facts & Assumptions
Given: ; the two motions ; the fields satisfying (KM); the boundary regularity of the control region.
Transport theorem with the family : for every function on a neighbourhood of the swept region of over , (The transport theorem for a family of diffeomorphisms: ), applied to and componentwise to .
Divergence theorem: for a bounded domain and , (Divergence on a bounded C1 Euclidean domain). Applied to and to the rows , it gives and (Traction fields and stress matrices representing them).
Product rule identity: for data satisfying (K),
Proof
Fix . The control-sweep hypothesis puts compactly inside . Continuity of gives a small open time interval around whose closed sweep is still in , so the local transport argument [F1] applies with and the control motion . Thus since and by (K). By [F2], the last integral is , which is (CV1).
Fix . By [F1] with , By [F3], , and by [F3] with (K) and (KM) the first term equals on . Hence
Apply [F2] to the last two terms of step 2.1: and . Substituting gives (CV2) for each .
Remarks
-
The control region need not be material: is an arbitrary motion of the reference region , and is the velocity of its points. The relative velocity in the flux terms records the transport of mass and momentum across the moving boundary. Taking recovers the material statements, in which the relative velocity vanishes and both rates reduce to the material integrals of (K) and (KM).
-
The identities fix the inertial conventions: the momentum flux uses the spatial momentum density times the normal component of the relative velocity, and the traction term is the surface integral of . No stress symmetry, constitutive relation or boundary condition is used or asserted; the only regularities required are those stated.
Depends on
Continuum motions, spatial velocity, material acceleration and swept regions
Euclidean spatial calculus: gradient, divergence and material derivative
The transport theorem for a family of diffeomorphisms:
Traction fields and stress matrices representing them
Bounded C1 domains and their outward normals
Surface integration on compact C1 hypersurfaces
Divergence on a bounded C1 Euclidean domain
The Axiom of Countable Choice ()
Integral over a measurable subset
The Lebesgue integral is linear on
Euclidean maps and diffeomorphisms
Sums, scalar multiples, products and quotients: , , , and when
A total derivative computes every directional derivative, and its matrix is the Jacobian
Open ball, closed ball and sphere in a metric space
Intervals of : the nine order-convex forms, nondegeneracy, and length
Dependency tree · 2 levels
Sources
- R. Abeyaratne, Continuum Mechanics, Volume II of Lecture Notes on the Mechanics of Solids (MIT, 1988, revised 2020), Sections 3.7 and 4.4 (transport equations for a moving part; the balance laws in integral form)
- W. Barsukow, Introduction to Conservation Laws: Theory and Numerics (lecture notes, TUM, Winter term 2021/22), Sections 1.1–1.2 (Eulerian fixed-volume and Lagrangian moving-volume descriptions of the same balance)