Physics theoremStatement: AI-adaptedProof: AI-adaptedprecheck pass

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.

The transport identity and the material derivative along label worldlines for the adopted continuum model

Physical scope

Conditional on the adopted continuum kinematic model (smooth motion with positive Jacobian) and on the Axiom of Countable Choice used by the cited change-of-variables theorem: for a C^1 spatial field on a neighbourhood of the swept region of a body over a compactly contained time interval, the rate of change of the field's integral over the current image of the body equals the integral of the local time derivative plus the flux term div(fu); and along the worldline of a label the ordinary time derivative of the material field equals the material derivative D_tf = partial_t f + grad f . u. The theorem asserts no balance law and no empirical value.

Statement

Assume the Axiom of Countable Choice ${A C}_{ω}$ (The Axiom of Countable Choice ( ${A C}_{ω}$ )), as used by the transport theorem cited below. Let $(B, O, I)$ be body data of Continuum body data, the fixed inertial frame and the dimensions of the fields, let $χ$ be a motion of the model on $I$ with spatial velocity $u$ and material acceleration $a = D_{t} u$ (Adopted continuum kinematic model: body data, smooth motions as families of label worldlines, the continuum idealization and frame covariance, Continuum motions, spatial velocity, material acceleration and swept regions). Let $J_{0} \subseteq I$ be an open interval with $\overline{J_{0}} \subseteq I$ , put $Σ : = {(t, x) : t \in \overline{J_{0}}, x \in χ_{t} (\overline{B})}$ , and let $f : U \to R$ be of class $C^{1}$ on an open set $U \subseteq R \times R^{3}$ containing $Σ$ ( $C^{k}$ Euclidean maps and diffeomorphisms). Then:

(i) Transport identity. The function $F (t) : = \int_{χ_{t} (B)} f (t, x) d x$ is defined and differentiable on $J_{0}$ , and for every $t \in J_{0}$

$F^{'} (t) = \int_{χ_{t} (B)} (\partial_{t} f + div (f u)) (t, x) d x .$

The identity holds componentwise for a $C^{1}$ vector field $f$ .

(ii) Material derivative along worldlines. If $f$ is the spatial description of a material field $F_{m} (t, X) : = f (t, χ (t, X))$ , then for every $X \in B$ the function $t \mapsto F_{m} (t, X)$ is differentiable on $J_{0}$ and

$\frac{d}{d t} F_{m} (t, X) = D_{t} f (t, χ (t, X)) = (\partial_{t} f + \nabla f \cdot u) (t, χ (t, X)),$

with $D_{t}$ and the gradient of Euclidean spatial calculus: gradient, divergence and material derivative. Writing $div (f u) = \nabla f \cdot u + f div u$ , the integrand of (i) is $D_{t} f + f div u$ at the corresponding current point.

The statement is conditional on the kinematic model and on the compact containment $\overline{J_{0}} \subseteq I$ ; it asserts no conservation law, no equation of motion and no empirical value.

Facts & Assumptions

Given: ${A C}_{ω}$ ; body data $(B, O, I)$ ; the motion $χ$ with spatial velocity $u$ ; the interval $J_{0}$ ; the $C^{1}$ field $f$ on a neighbourhood of the swept region.

[F1]

The kinematic model and the motion (Adopted continuum kinematic model: body data, smooth motions as families of label worldlines, the continuum idealization and frame covariance, Continuum motions, spatial velocity, material acceleration and swept regions): $χ$ is a motion of the material region $B$ on $I$ in the sense of that definition, so each $χ_{t}$ is an injective $C^{1}$ map with invertible derivative and the Jacobian $J = \det D_{X} χ_{t}$ is positive on $I \times B$ ; the spatial velocity $u$ satisfies $u (t, χ (t, X)) = \partial_{t} χ (t, X)$ and $u$ is $C^{1}$ on its open domain.

[F2]

Transport theorem (The transport theorem for a $C^{2}$ family of diffeomorphisms: $\frac{d}{d t} \int_{ψ_{t} (B)} f = \int_{ψ_{t} (B)} (\partial_{t} f + div (f w))$ ): under ${A C}_{ω}$ , for the motion $χ$ , the compactly contained interval $J_{0}$ and a $C^{1}$ function on a neighbourhood of the swept region, $t \mapsto \int_{χ_{t} (B)} f (t, x) d x$ is differentiable on $J_{0}$ with derivative $\int_{χ_{t} (B)} (\partial_{t} f + div (f u)) d x$ , and the same formula holds componentwise for vector fields.

[F3]

Spatial calculus (Euclidean spatial calculus: gradient, divergence and material derivative): $div (f u) = \nabla f \cdot u + f div u$ for the scalar $f$ and the field $u$ , and the material derivative is defined by $D_{t} f = \partial_{t} f + \nabla f \cdot u$ .

[F4]

Chain rule and algebra of derivatives (The chain rule for total derivatives: $D (g \circ f) (a) = D g (f (a)) \circ D f (a)$ , Sums, scalar multiples, products and quotients: $(f + g)^{'} (c) = f^{'} (c) + g^{'} (c)$ , $(α f)^{'} (c) = α f^{'} (c)$ , $(f g)^{'} (c) = f^{'} (c) g (c) + f (c) g^{'} (c)$ , and $(f / g)^{'} (c) = (f^{'} (c) g (c) - f (c) g^{'} (c)) / g (c)^{2}$ when $g (c) \neq 0$ ): composing the $C^{2}$ curve $t \mapsto χ (t, X)$ with the $C^{1}$ field $f$ gives a differentiable function of $t$ with the stated derivative, and the product rule gives the displayed splitting of $div (f u)$ .

[F5]

The Axiom of Countable Choice (The Axiom of Countable Choice ( ${A C}_{ω}$ )): the explicit choice assumption under which [F2] is stated.

Proof

technique · direct; instantiate the transport theorem at the model's motion and read the along-worldline derivative through the chain rule and the definition of the material derivative

1.1givenF1F2F5

Part (i): by [F1] the map $χ$ is a motion of the material region $B$ on $I$ in the sense of Continuum motions, spatial velocity, material acceleration and swept regions, and by hypothesis $f$ is $C^{1}$ on a neighbourhood of the swept region $Σ$ with $\overline{J_{0}} \subseteq I$ . Under the declared axiom [F5], the transport theorem [F2] therefore applies and gives $F^{'} (t) = \int_{χ_{t} (B)} (\partial_{t} f + div (f u)) (t, x) d x$ for every $t \in J_{0}$ , with the vector case following componentwise.

1.2givenF1F4construct

Part (ii), derivative along a label: fix $X \in B$ . By [F1] the curve $t \mapsto χ (t, X)$ is of class $C^{2}$ on $I$ and $f$ is $C^{1}$ on a neighbourhood of the swept region, so the composition $t \mapsto F_{m} (t, X) = f (t, χ (t, X))$ is differentiable on $J_{0}$ with, by the chain rule [F4], $\frac{d}{d t} F_{m} (t, X) = \partial_{t} f (t, χ (t, X)) + \nabla f (t, χ (t, X)) \cdot \partial_{t} χ (t, X)$ .

2.1step 1.2F1F3algebra

Since $\partial_{t} χ (t, X) = u (t, χ (t, X))$ by [F1], the right-hand side of step 1.2 is $\partial_{t} f + \nabla f \cdot u$ evaluated at $(t, χ (t, X))$ , which is $D_{t} f (t, χ (t, X))$ by the definition in [F3]. This is the identity of part (ii).

3.1step 1.1step 2.1F3algebra∎

Integrand splitting: by [F3], $\partial_{t} f + div (f u) = \partial_{t} f + \nabla f \cdot u + f div u = D_{t} f + f div u$ , so the transport integrand of part (i) is the material derivative plus the volumetric term; combining with steps 1.1, 1.2 and 2.1 gives both displays of the statement, and no conservation or dynamical conclusion is drawn.

Remarks

Hypotheses are used exactly. Positive Jacobian and $C^{2}$ regularity of the motion are used to instantiate the transport theorem and the chain rule; at each time in $J_{0}$ , a compact inner time cylinder supplies the bounded parameter derivative used by the cited theorem; the whole $J_{0}$ need not be bounded. Fields that are merely integrable, motions that fail injectivity somewhere, and time intervals whose closure meets the boundary of $I$ are outside this statement.
Reading of the two terms. At a fixed spatial point $\partial_{t} f$ is the local rate of change of the field; $u \cdot \nabla f$ is the transport of the field by the material velocity. Both have dimension $[f] τ^{- 1}$ (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework), so the display is dimensionally consistent, and the singular term $f div u$ records the change of volume of a material element along the motion.

The transport identity and the material derivative along label worldlines for the adopted continuum model

Statement

Facts & Assumptions

Proof

Remarks

Depends on

Dependency tree · 2 levels

Sources