Alphabeta Math
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.

Behaviour of the rigid-material configuration, angular velocity, inertia data and inertial quantities under a change of inertial frame

Physical scope

Transformation laws of the rigid-material model branch of Adoption of the rigid-material model branch: reference mass distribution, rigid placements, orientation and scope between two inertial frames related by t′=t+b, x′=Qx+ut+a: the configuration path and material velocity field of the same motion in the new frame, invariance of the body angular velocity and rotation of the spatial angular velocity and of the spatial inertia tensor, and the transformation of the total momentum, kinetic-energy splitting and centre-of-mass angular momentum. The statements are conditional kinematic and inertial identities for the model; no dynamics and no measured value is asserted.

Statement

Adopt the model of Adoption of the rigid-material model branch: reference mass distribution, rigid placements, orientation and scope and notation of Configuration, configuration space and orientation of a rigid-material model in an inertial frame, Body and spatial angular velocity of a rigid-material motion, and the material velocity field and Inertia matrix, spatial inertia tensor, inertia tensor about a point and moment of inertia about an axis of a rigid-material model: a reference mass distribution ν with total mass m and centred reference coordinates, a body inertia matrix I, a motion x(t,ρ)=c(t)+R(t)ρ in one inertial frame with configuration path (c,R) of class C2 and body angular velocity ω, and the quantities of Total momentum, kinetic-energy splitting and centre-of-mass angular momentum of a rigid-material motion, P(t)=∫∂tx(t,ρ) dν(ρ),K(t)=12∫∥∂tx(t,ρ)∥22 dν(ρ),Lc(t)=∫(x(t,ρ)−c(t))×(∂tx(t,ρ)−c′(t)) dν(ρ). Let a second inertial frame be related to the first by the transformation t′=t+b, x′=Qx+ut+a of Inertial frames, stationary observers and the adopted Galilean transformations between frames clause (iv), with b∈R, a,u∈R3 and Q∈SO(3); the rotation Q and the boost velocity u are the parameters written R and v in Inertial frames, stationary observers and the adopted Galilean transformations between frames, renamed here to avoid clashes with the orientation path R(t) and the material velocity field v(t,p) of Configuration, configuration space and orientation of a rigid-material model in an inertial frame. Let x~(t′,ρ):=Q x(t′−b,ρ)+u (t′−b)+a be the description of the same motion in the second frame. Then:

  1. x~(t′,ρ)=c~(t′)+R~(t′)ρ with c~(t′)=Qc(t′−b)+u (t′−b)+a and R~(t′)=Q R(t′−b); the maps c~ and R~ are of class C2, R~ takes values in SO(3), and x~ is a motion of the same model with the same reference mass distribution;
  2. the body angular velocities satisfy ω~(t′)=ω(t′−b), and the spatial angular velocities satisfy ω~s(t′)=Qωs(t′−b);
  3. the material velocity fields satisfy ∂t′x~(t′,ρ)=Q ∂tx(t′−b,ρ)+u; equivalently, for a spatial point p of the first frame with image p′=Qp+ut+a, v~(t′,p′)=Q v(t,p)+u;
  4. the body inertia matrix computed from ν is the same matrix I in either frame, and the spatial inertia tensors satisfy I~(t′)=Q I(t′−b) QT; consequently ω~(t′)TIω~(t′)=ω(t′−b)TIω(t′−b) and ω~s(t′)TI~(t′)ω~s(t′)=ωs(t′−b)TI(t′−b)ωs(t′−b);
  5. the inertial quantities satisfy P~(t′)=Q P(t′−b)+mu,L~c(t′)=Q Lc(t′−b), K~(t′)=12m∥Qc′(t′−b)+u∥22+12ω(t′−b)TIω(t′−b).

The statements are kinematic and inertial identities for the model; no equation of motion, no conservation law and no measured value is asserted.

Facts & Assumptions

Given: The model data and motion of the statement, the two inertial frames and the transformation t′=t+b, x′=Qx+ut+a, and a time t′ in the second frame's time window I0+b.

[L1]

Frame transformation (Transformation between adapted charts and its kinematic consequences clause 1, Inertial frames, stationary observers and the adopted Galilean transformations between frames clause (iv)): two inertial frames are related by exactly one transformation t′=t+b, x′=Qx+ut+a with b∈R, a,u∈R3 and Q∈SO(3), the rotation and boost velocity written R and v in Inertial frames, stationary observers and the adopted Galilean transformations between frames; the descriptions of an event in the two frames differ by this law.

[L2]

Group and algebra of rotations (SO(3) is a subgroup of the general linear group, with R−1=RT, The orthogonal group O(3) and the rotation group SO(3), Rectangular matrix multiplication and the identity matrix In, including zero-sized shapes): SO(3) is a group under multiplication, so QR(t′−b)∈SO(3); product, transpose and inverse satisfy the usual rules, and QTQ=QQT=I3.

[L4]

Skew-matrix correspondence (The skew-matrix/cross-product correspondence [ω]×z=ω×z and its conjugation law R[ω]×RT=[Rω]×, Derivative rules for differentiable matrix-valued curves, and skewness of RTR′ for a curve in SO(3)): a skew-symmetric matrix determines its representing vector uniquely; for a differentiable curve t↦R(t) in SO(3) the matrix RTR′ is skew and the body angular velocity is the unique vector with RTR′=[ω]×, and [ω]×z=ω×z.

[L5]

The inertial identities needed here hold without a choice hypothesis by the following local argument; Total momentum, kinetic-energy splitting and centre-of-mass angular momentum of a rigid-material motion is used for the names and integral definitions of the quantities. Every scalar integrand involved is a polynomial in ρ of degree at most two, and is continuous. For any such real polynomial f, the family Sf:={B⊆R:f−1(B)∈B(R3)} is a sigma-algebra, since preimages commute with complements and countable unions. It contains every open set, by continuity, so it contains B(R) by The Borel sigma-algebra of a topological space and Nonempty intersections of sigma-algebras are sigma-algebras, so the generated sigma-algebra exists and is minimal. This proves the required measurability directly, without the countable-choice-qualified general supplier. The integrals are finite: if ∣f∣≤C on the support ball and N is its null complement, a simple minorant s≤∣f∣ has the same simple integral as s1Nc, because every positive level-set intersection with N has measure zero. This integral is at most Cν(R3) by the finite disjoint simple-integral formula; taking the supremum gives ∫∣f∣ dν≤Cm<∞ (The integral of a nonnegative simple function, The nonnegative Lebesgue integral, Integrable real and complex functions, and their integrals). Finite linearity (The Lebesgue integral is linear on L1(μ)) now computes the identities: the material velocity is c′+R(ω×ρ) by [L4], and ∫ρ dν=0 by centredness, so P=mc′. Expanding its squared norm, orthogonality of R removes R from the rotational term, and the mixed term integrates to zero. The identity ∣ω×ρ∣2=∣ω∣2∣ρ∣2−(ω⋅ρ)2 then gives K=12m∣c′∣2+12ωTIω by the defining integral of I. Likewise Rρ×R(ω×ρ)=R(ρ×(ω×ρ))=R((∣ρ∣2I3−ρρT)ω), so Lc=RIω by that same definition. Both cross-product identities follow by expanding their three coordinates. The argument applies to either frame's C2 configuration path and the same centred bounded finite measure.

Proof

technique · direct; substitute the transformation law into the definitions, differentiate with the chain rule, and read the constants off the supplier's identities
1.1givenL1L2L3algebra

By [L1], the description of the motion in the second frame is the displayed map x~. Substituting x(t,ρ)=c(t)+R(t)ρ at t=t′−b and distributing the matrix product, x~(t′,ρ)=Qc(t′−b)+u (t′−b)+a+QR(t′−b)ρ, so x~=c~+R~ρ with c~ and R~ as in clause 1. The map R~ takes values in SO(3) by [L2], and c~, R~ are of class C2 by [L3], since t′↦t′−b, Q, u and a are smooth and the composition and product rules for C2 maps apply. This proves clause 1.

2.1step 1.1L2L3L4algebra

Derivative of the rotation path: by clause 1, R~(t′)=Q R(t′−b); differentiating with the chain rule [L3] gives ddt′R~(t′)=Q R′(t′−b), where R′ is the time derivative of the first-frame rotation path (second-frame quantities carry tildes in this item). Hence R~(t′)Tddt′R~(t′)=R(t′−b)TQTQR′(t′−b)=R(t′−b)TR′(t′−b)=[ω(t′−b)]× by QTQ=I3 [L2] and the definition of ω [L4]; the representing vector of a skew matrix is unique [L4], so ω~(t′)=ω(t′−b). This is the first assertion of clause 2.

2.2step 1.1L3algebra

Material velocity: differentiating x~(t′,ρ)=Qx(t′−b,ρ)+u (t′−b)+a with the chain rule [L3] gives ∂t′x~(t′,ρ)=Q∂tx(t′−b,ρ)+u, which is the first identity of clause 3. For the spatial form, let p be a spatial point of the first frame at time t=t′−b and p′=Qp+u (t′−b)+a=Qp+ut+a its image in the second frame at time t′; substituting p=x(t,ρ) and p′=x~(t′,ρ) gives v~(t′,p′)=Qv(t,p)+u. This proves clause 3.

2.3step 1.1L3L5algebra

Momentum: by [L5] applied in the second frame, P~(t′)=m ddt′c~(t′); differentiating the first identity of clause 1 with the chain rule [L3] gives ddt′c~(t′)=Qc′(t′−b)+u, where c′ is the time derivative of the first-frame path c; hence P~(t′)=Q(mc′(t′−b))+mu=QP(t′−b)+mu by [L5] in the first frame.

3.1step 2.1step 1.1algebra

Spatial angular velocity: ω~s(t′)=R~(t′)ω~(t′)=QR(t′−b)ω(t′−b)=Qωs(t′−b) by step 2.1 and clause 1. This completes clause 2.

4.1step 2.1step 3.1L2algebra

Inertia data: the reference mass distribution of the model is the same data in either frame; hence the body inertia matrix computed from ν is I in both descriptions. The spatial tensor of the second-frame description is I~(t′)=R~(t′)IR~(t′)T=QR(t′−b) I R(t′−b)TQT=Q I(t′−b) QT by step 1.1 and the transpose rules [L2]. The rotational quadratic forms: ω~(t′)TIω~(t′)=ω(t′−b)TIω(t′−b) by step 2.1, and ω~s(t′)TI~(t′)ω~s(t′)=ωs(t′−b)TQTQI(t′−b)QTQ ωs(t′−b)=ωs(t′−b)TI(t′−b)ωs(t′−b) by step 3.1, the display above and QTQ=I3 [L2]. This proves clause 4.

5.1step 2.1step 4.1L5algebra

Angular momentum: by [L5] in the second frame, L~c(t′)=R~(t′)Iω~(t′), and by steps 1.1 and 2.1 this equals QR(t′−b)Iω(t′−b)=Q Lc(t′−b) using [L5] in the first frame.

6.1step 2.3step 2.1step 4.1L5algebra∎

Kinetic energy: by [L5] in the second frame, K~(t′)=12m∥ddt′c~(t′)∥22+12ω~(t′)TIω~(t′); substituting ddt′c~(t′)=Qc′(t′−b)+u and ω~(t′)=ω(t′−b) gives the displayed formula of clause 5. Together with steps 2.3 and 5.1 this proves clause 5.

Remarks

  • Body quantities are invariant, spatial quantities rotate. The body angular velocity and the body inertia matrix are unchanged by the change of inertial frame; the spatial angular velocity and the spatial inertia tensor transform by Q and conjugation. This is the precise sense in which the rotational term 12ωTIω of the kinetic splitting is frame-independent while the translational term 12m∥c′∥22 is not.

  • Consistency with the particle branch. For a body whose mass is concentrated at its centre of mass the rotational term vanishes and the laws of clause 5 reduce to the transformation of the kinetic quantities of a particle of mass m; the transformation law for particle systems is the subject of Transformation of the state quantities under a change of inertial frame: centre of mass, total momentum, kinetic energy, angular momentum, torque, power, work and mechanical energy, and the present item is its rigid-material analogue. The two are consistent where both apply, and neither is used to prove the other.

  • What is not asserted. No transformation law for forces, torques or energies beyond the displayed inertial quantities is claimed; no equation of motion is transformed, because the branch has none at this stage.

Depends on

Dependency tree · 2 levels

Sources