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.
Rigid observer calculus and objective strain rate
Statement
Let be a nonempty open interval. For , means that all coordinate partial derivatives through total order exist and are continuous. Let be open and let be such that every slice is a bijection with inverse and , where is the matrix of reference-coordinate partial derivatives. Write and . The map is injective and its derivative is block triangular with determinant , so the inverse function theorem gives local inverses; injectivity makes them agree on overlaps. Hence is open and the joint inverse is . Define , which is . For any vector field on , let be its matrix of spatial coordinate partial derivatives and define . Set , , , , and . Here for a square matrix , denotes the identity matrix, and
Let and , hold time fixed, and change spatial coordinates by . This map preserves Euclidean distances and orientation because and ; the coordinate change does not assert that the observer is inertial. Set and . Define the transformed velocity, material derivative, rate tensors and acceleration from by the same formulas on ; in particular, and . For corresponding points and , the transformed fields satisfy
Thus transforms objectively, meaning its transformed tensor components obey under every such ; acquires the observer spin and is not objective under general time-dependent rotations. If is the material acceleration, then
When and , the acceleration formula reduces to . These are mathematical kinematic identities and assert no force law or balance equation.
Statement references
Facts & Assumptions
Given: The motion, the maps , and the spatial transformation in the statement.
The Euclidean inverse function theorem: a map on an open subset of , , with invertible derivative at a point has a local inverse there. The fields in this lemma are defined in its statement; no reference body or distinguished time is required.
The chain rule for total derivatives: : derivatives of composable totally differentiable Euclidean maps multiply in the stated order.
Proof
The given map is injective on the open set and has invertible derivative, since its block-triangular derivative has determinant . By [F1] its local inverses patch by injectivity, so its image is open and its inverse label is . The event map has the inverse . Thus is open and is by [F2]; both induced velocities are . For fixed , differentiate in time and use the given velocity definitions to obtain at .
Along the material curve , the given definitions and [F2] give .
Since , its spatial derivative at fixed is . Apply [F2] to the derivative of the velocity formula in step 1.1 to get .
By the given transformed-field definitions and [F2], . Differentiate twice; the product rule gives . Substituting step 2.1 gives the displayed transformation law for .
Differentiating gives , so is skew-symmetric. Taking the symmetric and skew-symmetric parts of step 2.2 yields and . The finite-sum trace identity gives , while a skew-symmetric matrix has zero diagonal, hence and .