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.
Variable-mass momentum balance: from and to
Statement
Let be an interval with nonempty interior (Intervals of : the nine order-convex forms, nondegeneracy, and length), let and be differentiable (The derivative of at a point that is a limit point of , and differentiability on a set, The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral), and let , and be maps. Suppose the two material balance identities
hold for every , where denotes the pointwise scalar multiple. Then
In particular, if , and for a constant , then : the acceleration is governed by the momentum carried away per unit time relative to the body, not by .
The two balance identities are the adopted content of the material momentum accounting — the mathematical rendering of "gains of matter with velocity , loses with velocity , and feels the external force ". They are not derived here from any closed-system law; the deduction below is their product-rule consequence.
Facts & Assumptions
Given: An interval with nonempty interior, a differentiable positive real function and vector curve , maps into , nonnegative functions , and the two material balance identities on .
A vector-valued curve is differentiable with for each coordinate, and products of real differentiable functions obey the product rule (The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral, Sums, scalar multiples, products and quotients: , , , and when , The derivative of at a point that is a limit point of , and differentiability on a set).
Proof
By [L1] the product rule applies coordinatewise to : , since and for each coordinate .
Substituting the first balance identity into the second and using step 1.1, the last step grouping the -terms and the -terms and using bilinearity of scalar multiplication. This is the displayed conclusion; the special case , , is its immediate substitution, in that case the assumed momentum balance is , so at a time exactly when .
Depends on
The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral
The derivative of at a point that is a limit point of , and differentiability on a set
Intervals of : the nine order-convex forms, nondegeneracy, and length
Sums, scalar multiples, products and quotients: , , , and when
Dependency tree · 2 levels
Sources
- David Tong, Classical Dynamics (University of Cambridge), §1.2, printed p. 2: the momentum form $\mathbf F=\dot{\mathbf p}$ for a body of varying mass, with the warning that the closed-system statement needs open-system momentum accounting
- Richard Fitzpatrick, Classical Mechanics (University of Texas at Austin), Non-Isolated Systems: the total-momentum balance $d\mathbf P/dt=\mathbf F$ with external force, the form that fails to track ejected/absorbed material without the flux terms below