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.
Moving control-volume mass and momentum
C1 control-region motion with relative normal flux u-w and smooth field traces; no boundary-layer or control-surface model is inferred.
Statement
Use a classical Cartesian inertial frame and SI units. Let be a nonempty open time interval in seconds, let be a nonempty bounded open region with boundary (locally a graph with the region on one side), and let be a family of orientation-preserving diffeomorphisms (bijections onto open images with inverses and positive Jacobian determinant) on an open neighborhood . Here means all coordinate partial derivatives through order are continuous. The moving control region is ; its boundary velocity is in metres per second. Let be the open fluid region and be open; assume for every . The fields and are , is continuous, and is . Their units are respectively kilograms per cubic metre, metres per second, metres per second squared and pascals. Let be the outward Euclidean unit normal and use Euclidean surface measure, with chart density . Set and . Use traction . Assume the adopted single-component continuum mass and momentum balances in the following local material sense. For every , there exist an open interval containing with , a nonempty bounded open reference region containing , an open neighborhood of , and with orientation-preserving diffeomorphic slices, positive Jacobian and . Require and for all . Write for each field . For every nonempty bounded open with one-sided graph boundary, put and let be its outward unit normal. Require
Assume also the Axiom of Choice. These material charts may depend on ; no global material chart or angular or total-energy balance is required.
Then every such satisfies
Only the normal component enters these balances. If is material, so on its boundary, the relative mass and advective-momentum fluxes vanish. The conclusion is a conditional model deduction; it asserts no existence of a flow satisfying the balances.
Statement references
Facts & Assumptions
Given: The moving region, fields, regularity, units and conventions in the Statement; the adopted mass and momentum balances; and the Axiom of Choice.
Single-component nonpolar continuum and material balances: mass and linear momentum are balanced on every admissible smooth material region, with body-force density and contact traction .
Material mass balance implies local continuity: the adopted material mass integral implies for positive density and the stated motion.
C1 material regions have compatible Jordan volume integrals: diffeomorphisms on neighborhoods of compact closures preserve bounded regions, and integrals over the open images agree with their compact-closure integrals. This also applies to inverse diffeomorphisms.
Transport across a moving control boundary: for a field and the stated moving region, .
Divergence on a bounded C1 Euclidean domain: under countable choice, the divergence theorem holds on a bounded domain for a vector field on its closure.
The Axiom of Choice: every set-indexed family of nonempty sets admits a choice function.
Classical frames, primitive quantities and SI units: the velocity, density, body acceleration, traction and stress use the classical inertial and SI conventions in the Statement.
Proof
For any countable family of nonempty sets, [F5] supplies a choice function on the set of its distinct members; composing with the sequence gives a choice from each indexed member. Thus the hypotheses in [F3] and [F4] follow from the Axiom of Choice.
Fix and its local chart from the Statement. The translated fields are defined on the chart's swept open set, with positive reference density on . The chart has , , and induced velocity . Thus its material mass equality meets every hypothesis of [F1], giving on its balanced region. In particular continuity holds at . Since the event was arbitrary, throughout .
In the same chart, [F2] makes every a bounded region with compact closure in the field domain. Apply [F3] componentwise to , with boundary velocity , and [F4] rowwise to and . The adopted material momentum equation gives , where is continuous. At , all small balls about with compact closure in are admissible and . A nonzero component of would have a fixed strict sign on such a ball and a nonzero integral, a contradiction. Consequently local momentum holds at ; arbitrariness gives throughout , in particular near every control closure.
By [F3], the time derivative of the mass in equals . Substitute continuity from step 1.2 and apply [F4] to . The result is , the first formula.
Apply [F3] componentwise to and substitute the momentum equation from step 2.1. Apply [F4] to each row of . Since , the boundary-velocity term combines with the advective flux to give . This is the second formula.
The formulas contain only through . If , both relative-flux integrands vanish pointwise.
Depends on
Single-component nonpolar continuum and material balances
Classical frames, primitive quantities and SI units
Material mass balance implies local continuity
C1 material regions have compatible Jordan volume integrals
Transport across a moving control boundary
Divergence on a bounded C1 Euclidean domain
The Axiom of Choice