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.
Mechanical energy balance for a potential presentation: plus the residual power, conservation for a static potential with no residual forces, and the integrated work form
The mechanical energy balance of a model presented through a potential with declared residual forces: the derivative of the mechanical energy equals the partial time derivative of the potential plus the power of the residual forces; a time-independent potential with no residual forces conserves the mechanical energy along every motion; and the integrated form expresses the work of the total force through the change of the potential and the residual work. The result is a conditional deduction from the adopted potential presentation, with the normalization of the potential carried along; it asserts no measured value and no conservation outside the stated hypotheses.
Statement
Adopt the force model, one inertial frame, and the potential presentation of Potential presentations of a force model, potential and mechanical energy, closed versus exact force fields, local potentials and equipotential level sets clause (a): a potential of dimension and residual forces of the standing regularity, with on the state domain. Let be a motion of the model on an interval with nonempty interior, write for the evaluated residual forces and for the mechanical energy of the definition (clause (b)). Then:
- is differentiable on and the mechanical energy changes at the rate of the explicit time dependence of the potential plus the power of the residual forces;
- if on and each evaluated residual force vanishes identically along this motion, then is constant on . If, more strongly, every residual-force map vanishes on its entire state domain, the model is a global potential model with the declared representative ;
- for all in , equivalently : the work of the total force is the decrease of the potential energy plus the work of the explicit time dependence and of the residual forces.
The representative is the one declared by the model; replacing by changes by and by , as recorded in Potential presentations of a force model, potential and mechanical energy, closed versus exact force fields, local potentials and equipotential level sets clause (c). The statement is read in the fixed frame; no empirical content is claimed.
Facts & Assumptions
Given: The potential presentation of the model, one inertial frame, a motion with velocities , evaluated residual forces , and the mechanical energy .
Notation (Potential presentations of a force model, potential and mechanical energy, closed versus exact force fields, local potentials and equipotential level sets clauses (a)-(b), Total mass, total momentum, centre of mass, angular momentum, torque, kinetic energy, power and work of a particle model in an inertial frame): , and are the kinetic energy, work and power of the definition; is nonempty and open; is hence ; is defined on ; the equation of motion is with , so that with .
Mathematical supplier (Work-energy balance for forces ): under the displayed hypotheses with of class on the open and maps along the curve, if on , then ; ; ; and if for all and then is constant on .
Work-energy theorem (Power of the total force and the work-energy theorem: and along a motion): for in , and . The Euclidean inner product is bilinear (The Euclidean inner product on ) and finite sums are linear (Laws of finite sums and finite products).
Newton–Leibniz (Newton–Leibniz needs only continuity on , differentiability on , and a Riemann-integrable extension of the interior derivative): if is continuous on and differentiable on with integrable derivative , then ; a real function on an interval with zero derivative at every interior point is constant (A function continuous on an interval whose derivative vanishes at every interior point of is constant on ; consequently two such functions with the same derivative differ by a constant); the interval has nonempty interior (Intervals of : the nine order-convex forms, nondegeneracy, and length, The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral).
Proof
The hypotheses of [L2] hold: is an interval with nonempty interior, is nonempty and open, is on (indeed ), is twice differentiable, and the equation of motion together with the presentation gives with the evaluated residual forces of the statement. Applying [L2] gives that is differentiable on with which is clause 1.
Clause 2: if and , then the right side of step 1.1 vanishes at every ; the final clause of [L2] gives directly that is constant on .
Clause 3: fix in . By [L3], , and on By the chain-rule clause of [L2], , so
The function is on (composition of the map with the curve ), so [L4] gives . Integrating the identity of step 2.2 over and substituting this value, which is the first form of clause 3; the second form is the definition of by [L1] and [L3].
Remarks
-
Three distinct contributions. The balance separates the explicit time dependence of the potential (), the power of the residual forces, and the potential difference; a model with a time-dependent potential or with residual forces is driven, and its mechanical energy is not conserved in general. The companion worked example computes all three terms on explicit data.
-
Conservation is conditional and representation-dependent. Clause 2 requires the representative to be time-independent and the residual forces to vanish; a potential with time-dependent turns a conserved model into a presentation with , as clause (c) of Potential presentations of a force model, potential and mechanical energy, closed versus exact force fields, local potentials and equipotential level sets records. Energy statements therefore name the representative.
-
Frame dependence of conservation. Under the scalar transfer 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 clause 5, with its boost velocity , . Thus if both and are constant, then is constant. If varies, constancy of alone does not imply constancy of ; the transferred potential can also have explicit time dependence.
Depends on
Potential presentations of a force model, potential and mechanical energy, closed versus exact force fields, local potentials and equipotential level sets
Total mass, total momentum, centre of mass, angular momentum, torque, kinetic energy, power and work of a particle model in an inertial frame
Power of the total force and the work-energy theorem: and along a motion
Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance
Restricted interaction models: pair decompositions, antisymmetry and centrality options, potential forces and the gravitational branch
The associated first-order system, motions, maximal motions and the Newtonian flow of a force model
Work-energy balance for forces
A function continuous on an interval whose derivative vanishes at every interior point of is constant on ; consequently two such functions with the same derivative differ by a constant
The Euclidean inner product on
The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral
Intervals of : the nine order-convex forms, nondegeneracy, and length
Laws of finite sums and finite products
Newton–Leibniz needs only continuity on , differentiability on , and a Riemann-integrable extension of the interior derivative
Dependency tree · 2 levels
Sources
- D. Tong, Classical Dynamics (Cambridge lecture notes, January 2015 printing), Section 1.3.2, Eqs. (1.24)-(1.25), printed page 8 (PDF page 14): the total potential V = sum_i V_i + sum_{i<j} V_ij for conservative external and internal forces, and H = T + V conserved
- K. K. Likharev, Essential Graduate Physics, Part CM: Classical Mechanics (title page last edited September 1, 2026), Section 1.3, Eqs. (1.24)-(1.27), chapter pages 7-8 (PDF pages 11-12): the work of potential forces as U(A) - U(B), E = T + U, and conservation for conservative forces only, with non-conservative forces changing E