Alphabeta Math
TheoremStatement: AI-adaptedProof: AI-adaptedPipeline-generated
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 ACω (The Axiom of Countable Choice (ACω)), as used by the transport and divergence theorems. Let I⊆R be a nonempty open interval, let B⊆R3 be a material region, and let χ:I×O→R3 be a motion of B on I with spatial velocity u. Write

Dχ:={(t,x):t∈I, x∈χt(O)}

for the open domain on which u is defined (Continuum motions, spatial velocity, material acceleration and swept regions). Let J0⊆I be an open interval with compact closure in I, and let U⊆Dχ be open and contain the swept region of B over J0‾.

Let ρ:U→(0,∞) and σ:U→M3(R) be C1 and let b:U→R3 be continuous. Define gi:=∑j∂jσij and suppose, on U:

∂tρ+div⁡(ρu)=0andρ Dtu=ρb+g.(KM)

Let ψ:I×O′→R3 be a second motion of a material region B′⊆B (with the same reference chart domain O′=O used for B; write w for its spatial velocity), and suppose that for every t∈J0 the control region Ct:=ψt(B′) is a bounded C1 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 ΣC:={(t,x):t∈J0‾, x∈ψt(B′‾)} is contained in U. 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 t∈J0:

ddt∫Ctρ dx=−∫∂Ctρ (u−w)⋅ν dS,(CV1)

and componentwise

ddt∫Ctρui dx=∫Ctρbi dx+(∫∂Ctσν dS)i−∫∂Ctρui (u−w)⋅ν dS(i=1,2,3).(CV2)

Facts & Assumptions

Given: ACω; the two motions χ,ψ; the fields ρ,σ,b satisfying (KM); the boundary regularity of the control region.

[F1]

Transport theorem with the family ψ: for every C1 function f on a neighbourhood of the swept region of B′ over J0‾, ddt∫Ctf=∫Ct(∂tf+div⁡(fw)) (The transport theorem for a C2 family of diffeomorphisms: ddt∫ψt(B)f=∫ψt(B)(∂tf+div⁡(fw))), applied to f=ρ and componentwise to f=ρui.

[F2]

Divergence theorem: for a bounded C1 domain C and F∈C1(C‾;R3), ∫Cdiv⁡F=∫∂CF⋅ν dS (Divergence on a bounded C1 Euclidean domain). Applied to F=ρ(w−u) and to the rows Fi=(σi1,σi2,σi3), it gives ∫Cdiv⁡(ρ(w−u))=∫∂Cρ(w−u)⋅ν dS and ∫Cg dx=∫∂Cσν dS (Traction fields and stress matrices representing them).

[F3]

Product rule identity: for C1 data satisfying (K),

∂t(ρui)+div⁡(ρuiu)=ui(∂tρ+div⁡(ρu))+ρ (Dtu)i=ρ (Dtu)i,

Proof

technique · direct; write each rate as a transport integral and use (KM) plus the divergence theorem
1.1givenF1F2F3algebra

Fix t∈J0. The control-sweep hypothesis puts {t}×ψt(B′‾) compactly inside U. Continuity of ψ gives a small open time interval around t whose closed sweep is still in U, so the local transport argument [F1] applies with f=ρ and the control motion ψ. Thus ddt∫Ctρ dx=∫Ct(∂tρ+div⁡(ρw))dx=∫Ctdiv⁡(ρ(w−u))dx, since div⁡(ρw)−div⁡(ρu)=div⁡(ρ(w−u)) and div⁡(ρu)=−∂tρ by (K). By [F2], the last integral is −∫∂Ctρ(u−w)⋅ν dS, which is (CV1).

2.1givenF1F3step 1.1algebra

Fix i∈{1,2,3}. By [F1] with f=ρui, ddt∫Ctρui dx=∫Ct(∂t(ρui)+div⁡(ρuiw))dx. By [F3], div⁡(ρuiw)=div⁡(ρuiu)+div⁡(ρui(w−u)), and by [F3] with (K) and (KM) the first term equals ρ(Dtu)i=ρbi+gi on Ct. Hence ddt∫Ctρui dx=∫Ct(ρbi+gi)dx+∫Ctdiv⁡(ρui(w−u))dx.

3.1step 2.1F2algebra∎

Apply [F2] to the last two terms of step 2.1: ∫Ctgi dx=(∫∂Ctσν dS)i and ∫Ctdiv⁡(ρui(w−u))dx=−∫∂Ctρui(u−w)⋅ν dS. Substituting gives (CV2) for each i.

Remarks

  • The control region need not be material: ψ is an arbitrary motion of the reference region B′, and w is the velocity of its points. The relative velocity u−w 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 ρu 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

Dependency tree · 2 levels

Sources